perm filename APSFIG.GF[FIG,DEK]1 blob
sn#770651 filedate 1984-09-30 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔ π∩p→Lπ#⊂_
&$_λ␈␈␈␈x␈␈␈␈pn(␈␈␈␈p-`@8∨aHεXFP⊃_x (R∪p≡∂R3λ ~ε→_∃P⊂bXJ H x∪e∧4ZHrRλ 1d→(∂P≠⊃xJGH∞H∞eCD|π∩aX @ aXKεH⊂λ
εRq@ @$⊃HKελ⊂λ⊗F∩q8 @'⊃8KEH⊂λ"ERq0 @)q0KE(⊂λ-¬S↓ @,A(KEλ⊂λ7¬2q @/↓ L∧h⊂λA∧s↓_ @1!_KDh⊂λJ∧S↓⊂ @3Q⊂L∧H⊂λRDS↓⊂ @5Q⊂L∧(⊂λ[∧S↓λ @7aλLDλ⊂λc∧3↓ *gdrD∪↓ &(εP 4b HπP⊃dDP_aL∧λλ (H pλ&α∧>OG3p -b HπP∂βλ →f$XCs⊂x ≤E4C
h
Xπf↓t7 H x∪⊂∃xLCHεP⊃P⊗B (ayHπ⊂ bλ 1d∀OCsx _CtlGh Xπf!d0π(∞@∂⊂∪⊂pLCH¬`∞⊂∨↓` %AiHπ⊂ ⊃X @ aX $aiHεP ↓H @"AH $!i@π⊂
QH @$↓H #AiHπ⊂
18 @%Q@ #↓YHπ⊂
⊃0 @'⊃8 "AYHπ⊂ q0 @(18 "↓YHεP a( @)q( !aYPε⊂ A( @+⊃( !↓YHε⊂ !( @,1( AYHε⊂ ⊃ @-Q !YHε⊂λq @.a ↓IHεPλQ_ @0↓_ ∨AYHεPλ1_ @1!_ ∨↓IPε⊂λ!_ @2!_ ≡aIHε⊂λ⊃⊂ @31⊂ ≡AYHε⊂λ↓⊂ @41⊂ ≡!IHε∂b∀λk"∀;C∪ `≡D(⊂λZD(π0ε&!C`λP ≠`λP∞`XLCπ1λ @8Aλ ≥↓IP¬Nb∧λsα∀9β∪⊂`≤Dλ⊂λj∧λπ⊂¬fA3@λ⊂ ≥Xλ⊂∞⊂`LBgx /πdtDλπ¬fA30λ⊂∃∀5P~`x ≠a9H¬MAtNP⊃$eβhεpε&!C(π⊂∩TQ⊂_⊃ ≠!9P¬M↓tFOG3x .At6αs X→CHλ8→⊂
βλ -↓t5Bs⊂X→CHλλ∃P⊂rX +At5Bs P→βhπ`∪P∪r8 *Ad5αs⊂X_CHπ@∩⊂⊗R_ )Ad4Bs X_βHπ ⊂P→αλ (Ad4αs P_βHπ∂P≠!x 'Ad4αS⊂X↔C(εp∞P≥!h &ad3BS P↔C(εP∞⊂∨⊃` &↓d3αS⊂X↔β(ε8
P ⊂8
P∩Ph →A9P¬K!T2F(⊂λ
FH ⊂εP PXMαEPh _C∀λH#∀Hβ(ε ¬fA"`εP ↓8 @%a@ #AT1Bs⊂P⊗β(¬h P ∪P P⊃0h →↓)P¬
aT-Eh⊂λ"EHλHεP 0PMαE h ⊗"dλTαdCC(ε⊂¬&A"HεP
q0 @+!0 !!D1αS⊂P∀C(¬0
⊂ ⊗(
P⊂0h _!)P¬
!D*¬λ⊂λ7E(λλε⊂ ⊂PMαE` ∀b4λ↑"D@βλε¬&A"8ε⊂
⊃_ @01_ ∨AT/B3 H∪Cλ¬ P _X P∂P` ↔a→H¬ aD'∧H⊂λJDHπXε⊂ pHMαD`` ∪α4λg"$=βλ¬p∧fA"(ε⊂ 1⊂ @4a⊂ ≡!4.BS P∩Bh∧P ⊂ ~p ⊂∞p` ↔↓)P∧I!D$∧H⊂λ[∧Hπ(ε⊂ @PMα$PX ∩α∧λob∀:Bh¬`¬&A∩ ¬Pλq @8qλ ≤aD-B3 H∩αh∧(λ⊂ ≤xλ⊂∞0X ⊗a→P∧Ha4"∧λ⊂λkDλπλ¬P 0HMα$0X ⊂b∧λw"∧8βλ¬P∧fA∩⊂¬Pλ! @<Q ≠a4,BS H⊃αh∧λπP ≡`λ⊂
`X ⊗!→P∧H!4 βh ⊂λ∂πP
PX ⊗!→P∧H!3xπP⊗∀6⊂≠Px ≠!$,B3 H⊂αg`x )(λX 4At5Bh¬@∧fA∩¬O!tN⊂∀DdβhεP¬P
pHMα$P≡CH (∨∂'d`ChεH¬P
pHMα#pX≥Chλp→⊂
∪⊂ .At4αh¬8∧fA⊃x¬∞adDJhλ@⊗⊂⊗Pp ~↓$+B∪ H∂αg p !∧tPIh π⊂ pP ∃A→P∧GA3Hπ⊂∂r -DDVβHε0¬⊂
`HMα#`P≤C(π`⊂P→"λ *↓d2BH¬0∧&A⊃p¬
ad<πh
`∂P∀@h →!$*B3 H∞BFpp ≥βdvπ(
λεP @P ∃!→P∧G!#0π⊂∞⊃` >cDOβ(ε_¬⊂
P@Mα#PP~CHεp
P ⊂H
P∪0h _A$*α3 H∞BF@h ≠β$λEc$KC(ε⊂¬⊂
@@Mα#@P~CλεH P ∩ P∩Ph _!$*α∪0@∞αF@` →c∧λLβ∀Iβ(ε¬⊂
0HMαβ@P→Cλε ⊂ ∪` ⊂∩` _↓$)B∪ @∞αF ` _BtλRαtFC(¬x¬⊂
HMαβ@H→β(¬x ⊂ ∃_ ⊂⊃@h ↔A$)α∪ H
B&⊂h ↔"dλWBTEβλ¬p¬⊂
@Mα# P_Cλ¬X
P ⊗H
P⊂ph ↔!$(B∪0@
αF` ⊗BDλ\bDCβλ¬h¬⊂
⊂@Mαβ P↔Cλ¬@
⊂ ↔`
⊂⊂P` ↔↓$(α∪ @
αE`` ∃b4λaB4ACλ¬`¬⊂
@Mαβ H↔Cλ¬ P → P⊂⊂` ⊗a∀(α3 H B%`` ∀b4λfα4?Cλ¬X∧P
@MBβ⊂H⊗Cλ¬⊂ ⊂ ~λ P∂`X ⊗a∀'B3 @ B%PX ∀"$λj"$>Cλ¬P∧P p@Mαβ⊂H⊗βλ∧xλP ≠_λP∂@X ⊗!$'As @ B%@X ∪B∀λnb∀=βλ¬@∧P p@Mα#H∃Bh∧hλP ≤_λP∂` ⊗↓∀'As0@ α%0X ∩b∀λrB∀<αh¬@∧P `@MαβH∃αh∧PλP ≥⊂λP∞`X ⊗↓∀&B∪ @ α% X ∩"∧λvB∧;αh¬0∧P `@MAcH∀Bh∧@λ⊂ ≡⊂λ⊂∞@X ∃A∀&B∪ @ B%⊂X ⊃B∧λz"∧9Bh¬0∧P P@MααpH∀αh∧0πP ∨λπP∞ X ∃A∀&α∪ @ B%X ⊃α∧λ⎇b∧8BH¬(∧P P8MBα`H∪Bh∧ πP ∨xπP∞X ∃↓∀&α∪ @ α$pX ⊂Atd⊂λ∧␈βhεx¬P
@H ∪yP∧¬A∩8¬⊂λ x -(ε` :at7αh¬ ∧⊂ @@MAb`H∪αh∧πP∃∀F⊂≠pp ≠!4)B(∧X∧&A↓(∧IA$ βh x )(
0π⊂
PP ∀a∧&↓s @
B$`P∨CH @∨O'tgβHε`¬⊂
0@ ∩a XβE!∩(¬OAdHLhεH→P_pp ~a$)α(∧XβfA↓ ∧I!#pεP⊃B` "%D`CHεP¬⊂
@ ∩`yP∧¬!α(¬∂↓dCIh
⊂∀⊂↔@p ~!$(B(∧P∧&`q(∧ ↓3Xπ⊂⊂" .∧D\βHε@¬⊂
⊂H ∩@yP∧¬↓α ¬∞ad?λ( `⊂P⊗@p →a$(Bλ∧PβfA↓ ∧ ↓#Pπ⊂∂!x 7CtXβHε0¬⊂
H ∩! XβE↓∩_¬∞!T;GH∞p∞P∃Ph →A$(αλ∧PβfA↓_∧HA#HεP∞A` ?#DUβ(ε(¬⊂
@ ∩ yXβE↓α⊂¬∞↓T8Fh⊂λ¬Fh
8εP @P ∪a∧$B∪ 8
α∧ P≠C(εp
⊂ ⊃H
⊂∀@` →↓$'Bλ∧HβfA↓_∧λA#0εP
1H @$aP (↓T1BH∧p∧⊂ ⊂8MAb0@⊃α&`h ~#∧λLC∀Oβ(ε⊂¬⊂ `@ ∩yP∧∧A∩λ∧MAD3ελ⊂λ∨ελ `ε⊂ P ∪!∧$As08 B∧P~Cλε P ∀P P∪⊂h _!∀'αλ∧@βf@q_∧λ↓# ε⊂ !0 @*a0 %aD0B(∧h∧⊂ 8Mαα @⊂αF0` _αdλXαTKβλε∧P P@ ⊃a XβDAα¬ AT.E(⊂λ5E( _ε⊂ H ∪↓∧$↓s @ αβpH→Cλ¬`
⊂ ↔(
⊂∩ ` ↔A$&αλ∧8βf`q⊂∧πa∪⊂ε⊂ ! @/q #aD/αH∧X∧⊂λp8M↓b @∂B&⊂` ⊗αDλbαDGβλ¬h∧P @@ ⊃`iXβD!↓x∧L!4+Dh⊂λI∧hλ`ε⊂ PH ∩a∧#As 8 αβ`H_βλ¬( P →P P⊃0` ↔↓∀%Bλ∧0βf`qλ∧πA∩xε⊂
A⊂ @4A⊂ "!D.α(∧P∧⊂λ`8M↓b⊂@∂α%pX ∀B$λk"$Dαh¬X∧P 0@ ⊃ yXβD↓↓p∧KAD(∧H⊂λZDHλ0ε⊂ H ∩A∧#↓s 8λBβPH↔αh∧x ⊂ ≠h ⊂⊂PX ⊗A∀%↓h∧0βf`q∧π!∩h¬P a⊂ @8Qλ !↓4-α(∧H∧⊂λP8M↓b@∞B%PX ∪"∧λsB∀Aαh¬H∧P 8 ⊃ yXβDqh∧K↓4&∧λ⊂λk∧(λλ¬P H ∩ t#↓S 8λαβ@H⊗αh∧Pλ⊂ ≥pλ⊂⊂X ⊗↓∀$αλ∧(β&`px∧π↓∩X¬P ⊃ @<Qλ ∨A4,αλ∧HβPλP8M↓b8∞α%0X ∩α∧λ{α∧>Bh¬8∧P @ ⊃yXβCa↓X∧JA4#Dλ⊂λzβhπh¬⊂
pH ⊃a∧"↓s 8πBβ0H∃αh∧(λ⊂ ∨Xλ⊂∂0P ∃a∧$↓h∧ βf`pxβFa∩P¬⊂λPx @@0x ≡A4*B(∧8∧⊂λ@0M↓ap@
α%⊂X ⊃↓tλ↓α!t<Bh¬(∧Pλp8 ⊃iXβC`qP∧J!$!Ch⊂⊂λβhπ@¬P
P@ ⊃`t"↓S 8πAc0@∀αh∧⊂π⊂ !@π⊂∞pX ∃↓∀#αλ∧_βf`pp∧εAα@¬Pλx 2h∧ @"0p ≥a$*αλ∧8βPλ08M↓ap8
α¬P ⊂↓t[P
d␈CHπ0¬⊂
@@ ⊃@t!As08παβ⊂@∪Bgpp *hλh <ad:BH¬_∧PλP@ ⊂@yPβC`qH∧IA#xπ⊂∀$S⊂≥⊂p ≥↓$)Bλ∧0βPλ00MAa`8 B$`P∨β( X∨O(∧ 8!d9BH¬⊂∧PλP8 ⊂`iPβCA↓@∧IA#`π⊂∩C⊂ ~f4mβHπ⊂¬⊂
@ ⊃ t!AS08π↓c⊂@∩BG@p #E4E λ
(π⊂∞⊂P ∀A∧"Ah∧⊂β&``p∧ε↓α(¬∞adDIh
_∪P~p ≤↓$(Bλ∧(βPλ 0M↓a`8 α∧PP≥βHλ ∩⊂↔∩ 2ad7BH¬λ∧⊂λ@8 ⊂@iXβC q@∧ !#HεP⊂α⊂ 3$∀cC(εx¬⊂
@ ⊃t!↓s 8π↓bpH∩α'⊂h ∨∧∧oλλ _εP
`P ∀↓∧"↓h∧λβf`phβF↓α_¬∞↓T<πh∞p∂P↔ph ≠!∀(αλ∧ βPλ⊂8M↓aP@ B∧0P≠C(π(∞P∨ah /↓D6B(¬∧⊂λ08 ⊂ yXβC q8∧λa#8ε⊂∞!X @!Q` .↓T6α(∧x∧⊂λ08 ⊂@iXββ!↓0∧λa#0ε⊂
qP @#1X -!T5B(∧x∧⊂λ08 ⊂ iPβC q8∧λA∪0ε⊂
AH @%⊃H ,aD5αH∧p∧⊂λ08 ⊂ iXβCq8∧λA∪(ε⊂
!@ @&QH +aT4BH∧p∧⊂λ 8 ⊂ iPβC q0∧λA∪ εP q8 @(⊃@ +!D4BH∧h∧⊂λ 8 ⊂ iXβCq0∧λA∪_εP A8 @)Q8 *aD4α(∧p∧⊂λ 0 ⊂ iXββ q0∧λ↓#_ε⊂ !0 @+↓8 *↓D4α(∧h∧⊂λ 8 ⊂iPβCq0∧λ↓#⊂ε⊂ ↓0 @,10 )AD3B(∧hβPλ 8 ⊂iXβCq(∧λ↓#λε⊂ q( @-Q( )↓D3B(∧`∧⊂λ⊂8 ⊂iXββq(∧λ↓#λ¬P Q @/↓( (AD2B(∧hβPλ⊂8 ⊂iPβCq(∧πa∪λε⊂ ! @0! (↓D2B(∧`∧⊂λ⊂0 ⊂iXβB`q(∧πa∪ε⊂ ⊃_ @1A_ 'a42B(∧X∧⊂λ⊂8∨AS 8ε↓b@@∂B&X ∃bDλeαDNβλε ∧P 08 ⊂ sxβ&`pXβE qx∧KaD*Dh⊂λO∧h X¬P 0H ∩a∧ ↓gp0MAA@8
αβ`H↔Bh¬ ⊂ ~8 P∪⊂X _a∀%Ah∧βO`iPβB`q ∧πA∩p¬P
1⊂ @5q_ %aD1α(∧P∧⊂λ0∨AS08¬Ab@8∂α%`X ∀"∀λn"$Kαhε⊂∧P ⊂@ ⊂cxβ&``XβE↓↓h∧K!4(∧(⊂λ`DH ¬P ⊂H ∩@t ↓Gp0M↓a08 BβPH⊗Bh∧pλP ≤HλP∩0` _↓∀$Bπp8∨↓S08¬↓b@8∞B%@X ∪"∀λt"∀Iαhε∧⊂ 8∨Ag`0MAA08 BβP@⊗αh∧XλP ≥HλP∩X _↓∧$Agp8∨↓S 8¬AB0@∞B¬0X ∩B∀λx"∧GBh¬x∧P @∨↓g`0MAa 8 AcP@∃Bh∧Hλ⊂ ≡@λP⊃`P ↔a∧$Agp0∨↓S00¬Ab @∞α¬ X ∩α∧λ|α∧FBH¬p∧P 8∨AG`0M↓a 8 Ac@H∀Bh∧8πP ∨@λ⊂⊃0X ↔!∀#Bπ`0∨↓S08¬↓b 8∞α%⊂P ⊃Atλ␈b∧Eαh¬h∧⊂ 8∨↓G`(MAA 8 αβ0H∀αh∧(πP 0πP⊃⊂X ↔↓∀#Ag`0∨↓3 8¬↓b 8
B%P ⊃↓tλ↓β"∧CBh¬`∧⊂λp8∨↓G`(MAa 0 αβ H∀αH∧_πP ! πP⊂pP ↔↓∧#AgP8≡A300¬↓b 8
B∧pX ⊂!tλ↓εatCαH¬X∧⊂λp8≡Ag@0MAA 8λAc0@∪BH∧λπP "λπP⊂PP ⊗a∧#↓gP8≡↓S 8∧Ab 8
α∧pP ⊂↓dλ↓
!dBαH¬P∧PλP8≡Ag@0MAa⊂8λAc @∪BGpp @Epp a$-αλ∧0βO c`β&``Pβ∧!↓H∧I!#pπ⊂ #0π⊂⊂ P ⊗!∀"AgP0≡↓S 8∧Ab⊂8 B$PP≡CH⊂⊂≡βHλλ¬⊂ ⊂@ ⊃ shβ∂iXβB q∧ε!α(¬∂↓di⊂λ∀λKad@αH¬H∧⊂λ@8≡AG@0MAA⊂8λAc⊂@∩BG0p /Hεx @#0p ∨a$,αλ∧(βOc`αf``HβDqH∧ ↓#XεP⊗$GP ⊂pπ⊂∂`P ⊗↓∧"↓g@0≡↓3 8∧AB⊂8 α∧@P≥β(
@ *(⊂λαβHπh¬⊂
p@ ⊃s`β∂YXβBqβF↓∩_¬∞!TOPλ∪p ⊂(∂`π⊂∂@P ∃a∧!Ag@0≡↓300∧Ab8 α∧0P≤β( @~⊂
C =!d=BH¬0∧⊂λ@0≡↓G00MAA⊂0λ↓c@⊃B'h $ETF (∞xεP∂0H ∃`t"↓g00≥AS 8∧↓b8 B∧0H≠C(λh∀⊂∀b@ :AT=α(¬0∧⊂λ08≥AG00MAa8πAbp@⊃B&`h "∧D↑I(∞(εP∂⊂H ∃@t!Ag00≥AS00∧AB8 B∧⊂P~C(λ ⊂P~∩_ 8↓D<B(¬(∧⊂λ 8≥AG0(MAA8πAbp@⊂BFP` βtqH(
XεP∞pP ∃↓∧!AG00≥A3 8∧↓ap8 α∧⊂P~βλπ`∂⊂≡1x 6↓T;αH¬ ∧⊂λ 8≥↓G0(MAa0πAbp8⊂BF0` ≡#Dλ@cdjβλπ0∧P
@@ ⊂@sPβ∞`YXβαpxβEAα∧LaD:Gλ⊂λ πλ
εP∞PH ∃t!↓g 0≥↓S00∧↓a`8 α∧H→Cλπλ
P ∩
P→Ph ≥↓∀)Bλ∧λβN@cPβ&@p@ββ`q(∧λ↓∪⊂ε⊂
qH @%QX 2AD:α(¬_βPλ 0≥↓G (MA`p8π↓b`@∂B&⊂` ≠β∀λNC∀cC(π⊂¬⊂
@ ⊂ cPβ∞@YXβαppβE!↓x∧L↓D5¬h⊂λ#Fλ (ε⊂∞ H ∀A∧ AG 0≥↓300∧↓A`8
BβpH_βλε8 ⊂ ∃_ ⊂_ ` ≤!∀)↓h∧λβN cPαf@p8βC@q(βGa∩xε⊂ Q0 @+a8 /aD8B(¬λ∧⊂λ8≤AG⊂0MA`p8εAbP@∂α%pX _bTλZ"t↑Bhπλ∧P
⊂8 ⊂sHβ∞ YXβα`pβE↓↓p∧KA40E(⊂λ9EH Xε⊂
pH ∀ t ↓g⊂0≤A300βAa`0
Ac`H↔αh¬p
P ↔p
P↔⊂X ≠a∀(αλ∧β∞ cHαf``8βC q ∧π!∩h¬P Q @1↓( -AD7α(¬βPλ0≤A' (M↓`p0π↓b@8∞B%@` ⊗BDλdBDZβλεp∧⊂
8 ⊂cHαN iXβA``hβEqh∧K↓4,Dh⊂λME( ⊂¬P
PH ∪aβxβ∞ SHαf``8βC q_∧π↓∩`¬P
a_ @4Q ,↓46B(∧xβO`cHαN YXβ↓`p`βEq`∧Ja4*Dh⊂λW∧h
x¬P
@@ ∪`sxβ∞cHαf``8ββ q_∧π↓αX¬⊂
A⊂ @6q_ +!45B(∧p∧∂@c@β∞ YPβA@phβ∧a↓`∧
A4)∧H⊂λ`∧H
X¬P
0H ∪@spβM`c@β&`p0βCq_βG↓αP¬P
↓λ @9⊃⊂ *!D5αλ∧pβO@s8β∞YXβ↓``hβDA↓X∧
!4'D(⊂λhDH
@¬P
⊂H ∪ spβM`c@αf``8ββq_βFa∩@¬P Qλ @;⊃⊂ )A44Bλ∧pβO s8β∞YXβ↓@p`βD@qX∧J↓$&Dλ⊂λpDH
¬P
⊂@ ∪ spβ
`c@αf@p0βCa_βFA∩8¬P 1 @=⊃⊂ (a$4α(∧`βO@c8αNYXβA@``βD@qP∧Ia$%∧λ⊂λxD(
⊂¬⊂
@ ∪↓βhβ
`S@αf``8ββqλ∧εAα8¬⊂ ⊂x @?⊃λ (↓43α(∧`βO c8αNYXβ↓@pXβD@qP∧ A4#Dλ⊂⊂∧λ x¬P `@ ∪shβ
`S@αf``0βB`qλ∧ε!α0¬⊂λa @A↓ '!43αλ∧XβO c0β
`YXβ↓@``β∧@qH∧ A$"Ch⊂⊂πDλ `¬P P@ ∪chβ
@c8αf@p0βα`qλβF!∩(¬⊂λ@x @Ba &a$2Bλ∧XβOc0β
`YXβA pXβD qH∧ ↓$!Ch⊂⊂∞Dλ P¬⊂ @@ ∩`s`β
@S@αf``0βB`aλβF!α ¬⊂λ p @DQ &↓$2αλ∧PβOc0αM`YXβ↓@`XβD q@∧ ↓$ CH⊂⊂∃Dλ 8¬⊂ 0@ ∩@s`β
@S8αf``0βα`qβF↓α ¬∂atλ↓ AtKαHε_∧⊂ 0≡↓F`(≠A300αAa00λAbpH⊃B'pp @G⊂x %!$1αλ∧PβN`c(β
`IXβ↓ pPβDq@∧λa∪pπ⊂ $π⊂∩@P _A∧$Ag00~AF`(M↓`P0¬Ab8 B∧ P≡CH⊂⊂#βh ⊂¬⊂ ⊂@ ∩ sXβ
c0αf`p(βα`aβEaα⊂¬∂↓Tλ↓∪!tHBHελ∧⊂ 8≥AFP(≠A300β↓A 8λ↓b`@⊃αG0h @J0x $↓$0αλ∧Hβ∞`c(αM@YXβ↓ pPβC`q8∧λ!#PεP %HπP⊃pP _↓∧$↓g 0~A&`(MA@P8¬↓B8 α∧⊂H≥β(
_ ⊂H⊂λ%CHλp¬⊂ p@ ∩sPβ
S0αf``(βα@pxβEAαλ∧N!T←⊂∞$λMAdFBH¬x∧⊂λp8≥↓F@0≠↓∪00αAA 8πAb`8⊂B'h ,( _ @%p #↓$/αλ∧8βN@c αM@YPβA `Pββ`q0∧λ↓∪8εP∀tVP ⊃pπ⊂⊃0P ↔@t$↓G 0~↓&`(MA`@8∧Aap8
B∧H≠β( p ⊂Gt"⊂ ⊃(π⊂⊃ H ↔A∧#AG 0~↓&` MA@P8∧Aa`8 ↓dH~C( 8~⊂
s0 @!`h "A∀/↓h∧8β∞@c αM YXβ↓ `Pββ`q(∧πa∪ εP∩∩h $¬tλAaTDB(¬h∧⊂λ`8≤AF00~A300αAA⊂8π↓bP@∂B&0h "e∀U
h⊂λC(λ@∧P @@ ⊃@sHαMS0α&``(βα ppβE qx∧LaDC ( ⊂∪P∨@h !A$.↓h∧0βN S αM YXβ↓pHββ@q(∧πA∪⊂ε⊂⊂"⊂ 5DT{β(λ0¬⊂ 0@ ⊃ sHαMS(αf`` βB `pβE↓↓p∧L!D?λλ∞H⊃⊂≡ h !!∀.↓h∧0β∞ S αM IXβ↓`HβC@a(βGA∪λ¬P∂!p >d∧wβ(λ ∧P 0@ ⊃ c@β `c αf@p βα phβE↓↓h∧L↓D;πλ⊂λ¬Gh∞PεP⊂0H ⊗A∧"AG0→A&P(MA`@0∧AA`8 BβPH↔Cλπ_
P ⊃P∞P≤`h a∀-↓h∧(β∞c_αM IXβ↓ `@βC q βG!∩x¬P∞↓P @%↓` 8aT@BH¬H∧⊂λ@0≤↓F0(~↓300α↓a8εAb0@∞α%`` ≠β∀λMC4pβλλλ∧P 8 ⊃c@β `S αf`` βB`pβ¬q`∧K!D4F(⊂λ!FH
hε⊂⊂H ⊗ t"↓G0→↓&P MA@@0∧AAP8 Ac@H⊗Bhε8 ⊂ ∀x
⊂≠⊂h ∨a∀,αλ∧_βM`c⊂αMYXβ↓`@βC q⊂∧εa∩`ε⊂ A8 @+1H 5aD?B(¬@βPλ08≠A&0(~↓300α↓A8ε↓b08
B%@X _BdλYc∀iC(πh∧P 8 ⊂`s8αL`S α&`` βα`hβDA↓P∧Ja40¬(⊂λ9Fλ
λε⊂∂PH ∃a∧!↓fp(→↓&@(MA@08∧↓AP0 Ac H∃Bh¬h
P ↔p P→p` ∨↓∀+Ah∧_β
`S⊂αMIXβ`p8βCq⊂βFaαP¬P 1( @1↓8 3↓D>αλ¬8βPλ00≠↓F (→A3 8↓AA8ε↓b⊂@
α¬ X ⊗"DλdbdeβλπP∧P
`8 ⊂`c0β @S_αf`p_βα``βD@qP∧
A$+Eλ⊂λNE( @ε⊂∂ H ∃@t!↓F`0_A&@ MA@@0∧↓A@8λBβ⊂@∀Bh¬( P ~8
P_`X ≡A∧+↓h∧⊂β
@cλαL`YXβ↓`8βCa⊂βF!∩@¬⊂
A⊂ @6⊃( 0aD<α(¬(βPλ 0≠↓& (→A300α↓@p8¬Ab⊂8 B$pX ∀"4λnBDaαhπ@∧P
@@ ⊂ c0αL@C α&``_βA```βD qH∧ a4'DH⊂λaEλ ¬P∂@ ∃ t AF`(_A&0(MA@08βAA@0λAc⊂@∪BH∧p ⊂ ≤`
⊂↔P` ≥A∀*↓h∧λβ
@SλαL`IXβ``@βα`qλβF↓α0¬P A⊂ @:Q_ /↓4;α(¬_βPλ⊂0~AF⊂(→↓300↓A@p8¬Ab8 α∧`P ∩b∀λwB4]αhπ0∧⊂
@8 ⊂c(β S_α&``_β↓`pXβ∧ q8∧I!$$D(⊂λs∧h @ε⊂∞@H ∀`t ↓FP(_A& (MA@00βAA08λ↓c@∩BH∧@λ⊂ ≡x ⊂⊗pX ≥↓∧)Ah∧β
SλαL@YXβ``8βα`qβEaα ¬⊂λq @>q⊂ -!4:αλ¬⊂βPλ0~A&⊂ →A∪00↓A@p0¬AB8 B∧@P ⊃"∧λ␈b$YBhπ_∧P
0 ⊂c(αLS⊂αf``_β↓@pPβDq0∧ ↓$"βh⊂⊂βDH ⊂¬P∞ @ ∀@sxβ
cαL@IXβ@p0βB@pxβEaα_¬⊂λ! @Aa⊂ ,↓48B(¬λβO`c β C⊂αf``⊂βA@`Xβ∧q0∧λA$!βh⊂⊂ ∧H
p¬P∞⊂@ ∀ sxβ
SαL@YPβ@@`8βα@pxβEAα⊂¬⊂λx @Caλ +!48Bλ¬βO`c αLS⊂α&`p⊂β↓``PβC`q(∧λA#xπP "(λP∃@P ≤↓∧(AGp0~↓& →↓300↓A@`8¬↓Ap8 α∧⊂P∨βH⊂⊂⊗D(
P¬P
p@ ∀spβ
RxαL@IXβ``0βB pxβE!αλ∧O!tλ↓
α∧TBhεp∧⊂
8∨↓F00↔A&⊂(MA@00β↓A 8π↓bP@⊂B'@p @G1λ )a47αλ∧xβO@c_αLC⊂α&``_β↓@`Pββ`q(βH!∪Xπ⊂ $⊂λ⊂∀`X ≠!∀'↓g`0→A%p(_A300↓A@`0∧Aa`8
BβpP≥βH⊂⊂$Dλ
(¬⊂
P@ ∪`cpβ `RxαL IXβ``0βα ppβE↓↓x¬∞!Tλ↓∀α∧RαHε`∧P `0∨↓&@(↔Aε⊂(MA@00αAa⊂0π↓bP8∂BFpp @Jpx (a$6αλ∧pβO S_αK`Sλαf``⊂βA pHββ@q ∧πA#0π⊂ %hλ⊂∀⊂P ≠t'↓gP(→A%p(_A∪00↓↓`P0∧Aa`0
αβ`H≠βH⊂⊂2βh
¬⊂
0@ ∪ shαL`Rxα YXβ@`0βα phβEqp∧M!dλ↓~AtOBHεXβP P8≡↓F0(↔↓&⊂ MA@ 0β↓A⊂0π↓b0@∞B&@h @N⊃ '!$5αλ∧hβ∂c⊂β @Sαf``⊂β↓@`Hββ q_∧π!∪ ε⊂→t"⊂ ⊗(πP∪@P ~!∧&AG@0→↓%p _A∪00↓↓@P8∧↓aP8 AcPH→Cλ P ≥(⊂λ'Ch X¬⊂
⊂@ ∪c`β @RpαLYXβ@`(βBp`βDa↓`∧LADV⊂∩tλP!tMαHε@∧⊂ @8≥AF (↔↓ε⊂ MA@ 0αAA⊂0εAb08∞α&⊂` (H ⊂ @&pp &!$4αλ∧XβN`c⊂αK Sαf``⊂β↓ `Hββ a_βG↓∪εP∪∧!Pλ∀#P ∩hπ⊂∪P →a∧%Ag00_A%`(_↓∪00↓↓@P0∧↓a@8 αβ0H↔C( λ~P∞#@ @$`p %a$3Bλ∧PβN`cλαK@Cαf``⊂β↓ `@βCq⊂βFa∩xε⊂⊃2h %ε∀λGadKαHε0∧⊂ 00≥A& (⊗A& MA@ 0αAA0ε↓b @
α%`` !%∀WKλ⊂λ CH (¬⊂ `8 ∩`cXαL@BpαK`YXβ@` βB``βD@qP∧K!D@ ( @∀⊂ ⊃_π⊂∩@P →!∧%↓G0(_A%` _↓∪00↓↓@@8βAa@0 ↓c0@⊗Bhπ`⊃⊂≠B0 @!`p $a$2Ah∧Pβ∞`SλαK Rxαf``⊂β↓`@βB`qλ∧εAα`ε⊂∞r ;dDλB!dIαHε ∧⊂ ⊂0≥↓F⊂(⊗Aε MA@⊂8α↓A0ε↓b⊂8
α¬0` ≤cdλ@$4λA↓dHBHε_∧⊂ ⊂0≥↓F(⊗A%p(MA@⊂8α↓A0ε↓B⊂@ B¬0X ≤βDλDD∀λ@↓dHαHε_βP ⊂0≥↓F(⊗A%p MA@⊂0αA@p8¬Ab⊂8 B%⊂` ~cDλH$∧}βHλx¬⊂ @ ∩sHαL Rhα `YXβ `(β↓`pXβDqH∧J!44εh⊂λ_πH∂Hπ⊂⊃`H _`t$↓g⊂(_A%@(↔A∪00A@P0βAA@0λAcH∀αhε0 P ∪x∞P≡Ph #A∀1↓h∧@βN SαK Bxαf``λβ↓p8βα`qβF↓∩@¬P !H @)A` <ATFB(ελ∧⊂λp8≤A&(⊗↓%p MA@⊂0α↓`p0¬Ab8 α∧pX _αtλVC4wC(λ`∧P ⊂8 ∩c@β R`αK@YXβ ` β↓`pPβDq@∧ a4.EH⊂λ3εh∞`εP⊃ P _t$↓G0_↓¬P ↔A∪00A@@0βAa 8λ↓bp@∪αh¬X ⊂ ↔⊂
⊂≥h "A$/Bλ∧8β∞bxαKRpαf``λβ↓`8βα`aβEaα0¬P ↓( @/aH 9ATDB(εβPλp0≤↓&(⊗↓¬p MA@⊂0α↓@p0¬↓b8 α$@X ∃BTλb#∀qC(λ@∧P p8 ⊃`c@αLB`αK@IXβ ` β↓``PβC`q8∧ ↓4*¬λ⊂λJελ∞λε⊂⊃H ↔A∧#↓G(↔A%@ ↔↓300A@@0β↓a 0λ↓b`@∩αH¬⊂
⊂ →x P≠`h !a∀/↓h∧0β∞RxαJ`Rpα&``λβ↓`0βB@`xβEAα_¬P
↓_ @5⊃8 7↓TBB(¬pβPλ`0≠AEp ⊗↓%P(MA@⊂0α↓@`0¬↓ap8
B∧0P ∪B4λmαdmβλλ(∧P P@ ⊃ c8β @R`α @IXβ ` β↓@`PβC@q(∧HA$&∧h⊂λ↑EH
8εP⊂@H ↔ t"AFp(↔A%0(⊗A300A@08β↓A 0πAbP@⊂Bh∧P ⊂ ≤8 ⊂~P` !↓∀.↓h∧(β
`Rxα Bpα&``λβ`p(βB ppβE!αλ¬⊂ ⊃⊂ @:↓0 4aDAα(¬`∧⊂λ@0≠A%`(∃A%P(MA@⊂0↓A@`8∧Aa`8
α∧⊂P ⊃b∀λvBThCλλ⊂∧P @8 ⊃c8αK@RXα @IXβ `_β↓@`Pββ@q(βH!$"D(⊂λqE( xε⊂⊂⊂H ⊗`t"↓F`0↔↓¬0(⊗A∪00A@00β↓A⊂8π↓b@@∂BH∧ λP ≡`
P→@h ↓∀-↓h∧ β
@RpαJ`Bhαf``λβ``0βα phβE↓↓x¬⊂λ!λ @>Q 2aD?B(¬XβPλ00≠↓%`(∃↓%P N↓ ⊂0↓A@`0∧AA`8 BβpP ⊂"∧λ␈"DdCλπx∧P 8 ⊂`c0αK@BXα YXα@ `_β↓ pHββ q ∧πA#xλ⊂ 0
⊂_p` ∨A∀,Ah∧_β
@RhαJ@Rhα&a@_β↓ p@βC q_∧πA∪xπP x P_`X ∨A∧,Ah∧_β
RpαJ@Bhαfa@_β↓ `HβC a_∧πA∪hπP !8 P_@` ∨↓∀,Ah∧⊂β
Rpα
@Rhα&a@_β↓ `Hββ q_βG!#`πP !p P_ ` ∨↓∀,↓h∧⊂β
RhαJ@R`α&a@_β↓ `Hββ q⊂∧π↓#PπP "8 ⊂_⊂` ≡a∧,↓h∧⊂β
RhαJ@B`αfa@_β↓ `@βCq⊂∧π↓#HπP "p ⊂↔p` ≡A∀+Ah∧⊂β
bhα
@R`α&a@_β↓ `@βCq⊂βG↓#@π⊂ #0 ⊂↔`X ≡A∀+Ah∧λβ
RhαJ@B`αfa@_β↓p@ββ a⊂∧εa∪8πP #h ⊂↔@` ≡!∧+Ah∧λβ
Rhα
@R`α&a@⊂βAp@ββq⊂βFa∪0π⊂ $( ⊂↔0X ≡↓∀+↓h∧λβ
R`αJ@B`α&a@⊂βA`@βCqλβFa∪(π⊂ $` ⊂↔⊂X ≡↓∀*Ah∧λβ
R`αJ RXαfa@⊂β↓ `@βB`qλ∧εA∪ π⊂ %_ ⊂⊗p` ≥a∧+↓H∧λαMRhα
@B`α&a@⊂β↓ `@ββqλβFA∪_εP %X ⊂⊗`X ≥A∀*Ah∧αMR`αJ RXαfa@⊂β↓ `@ββaλ∧ε!∪⊂εP &⊂λP⊗PX ≥A∧*Ah∧αMR`αJ B`α&a@⊂β↓ `8βB`qλβF!∪λεP⊗d"P ⊗pλP⊗0X ≥A∧*↓h∧αMR`α
RXα&a@⊂β↓ `8βB`qβF!∪εP∀∀;⊂ ∃HλP⊗ X ≥↓∀)Agp0→A%@(∀A¬0(MC 0α↓`p0¬Ab@ α%ph %λ @ @)1 ,!4:αλ¬ β∂`c_αKBHαJ`IXε@` βA``XβDq@∧KATE⊂⊗4λPα∀WBhπ_∧P
08∨↓F0(∃A%⊂ ∃A3@X↓↓@@0βAa00λααpH⊗C(λ⊂ ⊂(∧⊂ ∩λ⊂λ≠D(
h¬P∞0@ ∀`spβ `B`αJRXα&a0⊂β↓`8βB@qβEa∩`εP∂3_ ≤g$λLα∧VBhπ⊂∧⊂
8∨↓F (⊗↓¬⊂ ∃A∪0X↓↓@@0βAA08πAbpH⊗βλπ(⊗⊂∩S⊂ @%⊃λ *a48Bλ¬⊂βO@c⊂αJ`R@α
`YX¬@@` β↓``Xβ∧q0∧JaD8 h ↔⊂ ∩_λ⊂∃ X ≤!∧)↓G`0→↓%0 ∀↓%0 MB` 0α↓@p0¬↓ap8 α% ` ~dDd
H⊂λ∂βh
H¬P∞H ∀ cpαL@RXαJBXα&a0⊂β↓`0βB@pp∧¬AαHε⊂ b⊂ 7%∧λFα∧TαHπ∧⊂
⊂0∨↓& (∃A$p(∃↓30X↓↓@@0β↓a 0πAb`@∀Cλελ⊂⊂≡α0 @"@x )a$7B(¬βO S⊂αJ`B@α
`IXε ` β↓@`PβCA↓(∧
↓D/πH⊂λ↓ λ⊂λπDλ
(¬P
`@ ∀shαL@BXαI`RPα&a@λβ`p0βα@ppβE!α8ε⊂ 1` @"2⊂ @!1 )↓47αλ∧xβOcλαJ`B@α
@YXε `_βA@`Pββ@q(∧IA4,εH⊂λ∩λλ⊂λ∧βh
_¬P
P@ ∪`s`β RPαI`RPα&a@λβ``0βB ppβE↓∩(ε⊂
AH @&1x @ @x (A46Bλ∧xβ∂cλαJ@B@α
@IXε `_β↓@pHβC q ∧I!4(F(⊂λ GH⊂λCh
λ¬⊂
@@ ∪`c`β RPαI`RHαg↓0λβ``0βα@`pβE↓α ¬P q@ @)ap ?!tPαHε`∧⊂ `0≡↓F(∃↓¬ ∃↓∪0XA@00β↓A 0εAb@@∩αh∧` P ∃X∞P∨ x 'a$5Bλ∧pβ∂SλαJ R8αJ IX¬@ `_β↓@`HβC q_∧λa4%¬H⊂λ4πλ∂8πP∪`P ~a∧&Ag0(_A¬ (∪A¬⊂(MB`⊂0↓A@`0∧Aa@8 B∧0X ⊃bTλ]#4zCH h¬⊂
@ ∪ sXαLRPα `BPα&a0λβ``(βB `hβDA∩λ¬Pλa @0⊃P <AdNαHεPβP P8≥A&(∀A$`(∀A∪0XA@00αAa8εAB0@⊂Bh∧_
⊂ _`
⊂≥pp &a$4Bλ∧`βN@cα
@B8α
YX¬@ `_β↓ `HβCq⊂∧λ!$!∧h⊂λKFH∞`πP∪⊂P ~ t&AG 0↔A%⊂(∪↓%⊂ MB`⊂0↓A@P0∧AAP8λB∧X∨Dh⊂λQε(∞PπP∪P ~↓∧&↓G (_↓%⊂ ∪A¬⊂ MB`⊂0↓A@P0∧AA@8λB∧P∨∧h⊂λVε(∞8πP∩pP →a∧&↓G (_↓¬⊂(∪↓%(MB`⊂0↓A@P0∧↓a@8λBβpP≡∧H⊂λ[Fλ∞(πP∩`P →a∧%AG (↔A%⊂ ∪A¬⊂ Nα@⊂0↓A@P0∧↓a08λBβ`X≥∧H⊂λ`Eh∞ π⊂∩PP →A∧%AG (↔A%(∪↓¬⊂ MB@⊂0↓↓`@8∧↓A@8λαβ`P≤D(⊂λeEh∞⊂π⊂∩@P →A∧%↓G⊂0↔A¬⊂ ∪↓%(MB@⊂0↓↓`@8βAa08λAc`P≠D(⊂λjEh
xπ⊂∩0P →!∧%↓G⊂0↔↓%(∪↓¬⊂ MD 0αAA8¬Ab@∞BFQλ @;a8 7!TIBHε(βP 8≤↓%p(∀↓$P(∀↓∪1λ↓↓@P0∧↓A@0λαβ@P~Dλ⊂λsEh
XεP∩ P →↓∧$Ag(↔A¬⊂ ∪↓¬(MD 0αAA0¬Ab8∞αF1 @>↓0 6ATHBHε βP ⊂8≤↓%`(∀↓$P ∀A∪1λ↓↓@P0βAa08πBβ0P→βh⊂λ⎇¬(
@εP∩P _a∧$↓g(↔↓% ∩A% MD 0αA@p8¬↓ap@
BFx @@1( 5!dGBHε⊂∧⊂ ⊂0≠AE` ∀↓$P ∀↓∪1λ↓↓@P0βAA08πAc0H_βh⊂⊂¬E(
_π⊂⊃`P _@t$AFp0⊗A% ∩A$p(N∧ 0α↓`p0¬AAp@
α%`x @B1( 4AdFBHελ∧⊂ 0≠A%`(∪A$P ∀↓∪1↓↓@@8βAA 8παβ H⊗Ch⊂⊂
E(
εP⊃PP _ t$↓Fp(↔↓¬ ∩A¬ MD 0α↓@p8¬↓a`8 BE@p @DA 3aTFαHε∧⊂λp0≠A%P(∪A$@(∪A31↓↓@@0βAa⊂8παβP∃CH⊂⊂⊗¬λ hεP⊃0P ↔a∧#AFp(⊗A¬ ∩A¬ MB@⊂(↓↓@@0βAA 8π↓cP∀CH ( ⊂H⊂λ.Eλ `εP⊃ P ↔`t#AF`0⊗↓$p(∩↓$p MB@⊂(↓↓@@0βAA 0π↓cP∀βHλλ ≤H⊂λ$Dh PεP⊃ H ↔a∧#↓F`(⊗A$p ∩A∧p MD ⊂0α↓@p0∧AaP@ B%p ≥λ _ @'A 2↓TDB(¬xβPλ`0≠↓%P ∪A$@ ∪A31λA@@0β↓a⊂8εAbpH∪CHεX +H⊂λ→∧h 8εP⊃H ↔@t#↓F`(⊗↓$p ∩↓$p N∧⊂0α↓@`8∧AAP@ α$`h →πsx ⊃h⊂λ∃∧h 0εP⊂pH ↔!∧"AF`(⊗↓$`(∩↓∧p MD⊂0↓A``0∧AaP8 α$Ph ↔&$7N(⊂λ⊃Dh εP⊂`P ↔ t"AFP(⊗A∧p ∩↓∧p(MD⊂0↓A``0∧Aa@8 α$@h ⊗¬$H H⊂λ∂∧H _εP⊂PP ↔t"AFP(⊗↓$`(⊃A$p MD⊂0↓A@p0∧AAP8
B$@` ∀ddUK(⊂λ ∧h λεP⊂@P ⊗a∧"↓FP(⊗↓∧p ∩↓∧p MD⊂0↓A@`8∧↓a@8
B$0` ∪d$a
H⊂λ Dh ε⊂⊂@H ↔t"↓FP(∃A$` ∩↓$` MD⊂0↓A@`8∧↓a0@
α$ ` ∩ctkJλ⊂λπ∧h pεP⊂0H ⊗`t"↓F@0∃A$P(∩↓∧`(MD⊂0↓A@`0∧AA@8
α$⊂` ⊃cdtIH⊂λ¬∧h hε⊂⊂0H ⊗A∧!AF@(⊗↓∧` ∩↓∧p Nβ`⊂0↓A@`0∧↓a0@
α∧⊂` ⊂cD⎇Iλ⊂λβDH `ε⊂⊂ H ⊗@t!AF@(∃A$P(⊃A$` MC`⊂0↓A@`0∧↓a08
α∧` ⊂β4λBd$λAα∀]C(λ¬⊂ ⊂8 ⊂`c αJ`B0α B0α&apλβ``(βB`XβE↓↓xε∂C∀λFd∧λ@"∀]βλλ∧P ⊂@ ⊂@c αJ@R(αH`B0α&apλβ``(βA`pXβDa↓x¬Nc∧λJCt␈∧( @εP∂pH ⊗ t!↓F0(∃A∧` ⊃A$P(MC`⊂0↓A@P0∧↓a 8 B#P`≤¬h⊂λ≤πH∂XλP⊗p` ∨a∀,↓h∧⊂β `RPαI R_α @IXπ@ `_β↓ `@βα`q⊂∧G!30 ⊂ ∀(∂⊂≡q⊂ -AD?α(¬8βPλ 0→A% (∩A∧0 ∪↓∪0xA@00αAA0¬↓b H∞αfQ( @*⊃h ="$Zβλπh∧P 8 ⊂ c_α
`B(αH@R(α'αP_β↓ `8βB@q⊂∧π↓3⊂
⊂ ∃p∞P≡!λ -↓D>α(¬8βPλ⊂0→↓% (∩A∧0 ∩A31(↓A@P0βAa⊂8 αβ0X_¬λ⊂λ5πλ∂λP⊗ ` ∨↓∀+↓h∧λβ @RPα B_α @IX
@@p βA``PβD!↓X¬KB4λ]C4w∧( λε⊂∂0H ∃!∧ ↓F (∀A$@(⊃↓$P ME 8α↓``8∧Ab⊂@
αeQ_ @0↓X ;α∧XβλπP∧P
`8 ⊂cλαJ@B(αλ`B(α&bP⊂β↓ `8βB q∧F!2X ⊂ _`
⊂≥⊃λ +aD<B(¬(βPλ0_A%⊂(∩↓$ ∩A31(↓↓@P0βAA 0λBβX∃∧(⊂λKF(∞@λ⊂∃`` ≡!∀*↓h∧β RHαIB⊂αI I`
@`(β↓``HβD↓↓@¬Jα∀λh#∀s∧λ
hε⊂∂H ∃sxαL@RHα R⊂α IX
@`(β↓@pHβCa↓@¬ b∀λjc∀qD(
Xε⊂∞pH ∃sxαL RHαIB⊂α IX
@`(β↓@p@βCa↓@¬ "∀3OH⊂λλελ∞⊂λ⊂∃0X ≥a∀)Agp(_A%⊂ ∩↓$⊂(∩↓∪1 ↓↓@@8β↓A⊂8πBα`P∩Dλ¬0 ~H∂p ⊂≤↓λ *!D;α(¬⊂βO`SλαJR αλ@B αfb@⊂β↓p0βαpx∧¬A"_λ⊂ 4DP≡A@ 7B∧TBhπ0∧⊂
08≡AF⊂ ∀A∧@ ⊃↓∧P ME 0α↓@`8∧↓a`@ αD x ⊃λ
⊂ ;αtnDλ
8ε⊂∞@H ∀@shβ R@αH`Rλα I` @@` β↓@p@ββ`q0¬λ↓sp≥∞h∧⊂ 9BtmDλ
0ε⊂∞@H ∀ shβ R@α BλαIIX @@` β↓@`@βCA↓ ¬λ↓s@↔⊂ s( 8"tmβh
0¬P∞@@ ∀ shβ R8αH`Rλα IX
` β↓@`@βC!↓ ¬πac ∪P⊂bx 7"dl∧λ
ε⊂∞ H ∀ chβ `R@αH`Bλα YX
` β↓@`8βC@q ¬πAc⊃P∪rP 6"dkCh
¬P∞ H ∀s`β `R@αλ`BλαIIX
` β↓ p8βC!↓_¬π↓bh⊂⊂⊗B@ 5"djDλ
⊂¬P∞ @ ∀s`β `R8αH@Rλα IX
` β↓ p8ββ!↓_∧G↓bP∞P_r0 4BdiDλ
λε⊂∞H ∪`s`β `B@αλ`Bλα I` @ `_βA `8βC q_∧Fab8
P≠∩ 3bTiCh
λ¬P∞H ∪@s`αK`R8αH@RαH`IX @ `_βA `8βC↓↓⊂∧FAb( P≥∩⊂ 3"ThCh
¬P∞@ ∪`sXαK`R8αλ`Bλαλ`IX @ `_β↓ p8ββ↓↓⊂∧F!R_ ⊂∨∩ 2bThβh pε⊂
`H ∪@sXαK`B8αH@Bλαλ`YX @ `_β↓ p0βCq⊂∧F↓Rλ P ⊂8∂P→⊃ 3atOαhεp∧⊂ `8≥A%`(∪A∧ (⊂↓∧@ MD`⊂0↓A@P0βAa0@λB#`∂EH⊂λ
GH 0
P→Px '!47αλ∧hβN@bpαI@R⊂αλR_α&b0λβ``(β↓@p`βD!⊃8επBSh≥⊂∃!p 1αDfβh `¬P
PH ∪ cPβ @B8αλ@Rαλ`I` `_β↓ `0βB`qλ∧EAA`
λε⊂ 'βTaEλ XπP∪0X ≠↓∧&AG 0⊗A$`(⊃↓∧ ⊃A∪1⊂A@00αA@`0ε↓bH
Cβ1_∀⊂∂dJπλ λ
⊂→ x &A45B(∧`βN bhαI@B⊂αλB_α&b λβ`` βA@`XβD↓⊃(εε""⊂ %(λx
P_↓ 2↓tLBhεX∧⊂ @8≤AEP ∪↓$⊂(∂A$ (MD@⊂0↓A@@8αAa @πB"@` ∧CS(≠O(λX
⊂↔a 1atLαhεX∧⊂ 08≤A%P(∪↓∧ ⊂↓∧0 MD@⊂0↓A@@0β↓a 8πB"0` D#"P ↔f$CFH h P_pp &↓44B(∧PβN RhαI RλαλB_α'α⊂λβ`` β↓@`P∧βA⊃_¬EB⊃8∩⊂∂2X !#$]Eλ (π⊂∩pX ~!∧%AG⊂(⊗A∧` ⊂A#p(⊃↓∪1λA@00α↓@P8¬↓a`H βαAλ
λλ ⊂∀⊂⊂!H .b4bβh (¬P
H ∩@cHαKR(αH Bαλ@IX `` β↓ pHβCA⊃⊂¬Db⊃⊂∞P∀b( β∀\Dh _πP∩@X ~↓∧%↓fp0⊗↓$P ⊂A#p ⊃↓∪1@↓↓`08αAA 8παα⊂X Dα↓X .∧$?Fλ @ P_ x %↓$4αλ∧HβM`b`α Rλαπ`B⊂α&c⊂β@`p βB pp∧∧!1λλβc∀cH(πp P↔↓_ 0↓tIBHε8∧P 8≠AE0(∩A∧⊂ ∂A$⊂(N¬` 0α↓@P8∧AaP@λBB⊂xπ¬h
8∂P∂A@ -B4`βH ⊂¬P `@ ∩s8β
`R αHQxαλ@IX @@` β↓ `HβC!↓¬D↓`h ⊂≤Qp ≡btZDh xπ⊂∩⊂X →!∀$↓Fp(⊗↓∧P ⊂Aβp ⊃↓∪18↓↓@@0αAA⊂8εα!pPλβA1( <CT=¬h P↔`p $↓42Bλ∧@β
`RXαIRαπ`B⊂α&bp⊂β↓` βBp`∧Ca pπαBT␈π(π@ P⊗A⊂ /!dGBhε(∧⊂λp0≠A%0(∩↓∧(∂↓∧ ME` 0α↓@@8∧↓a@@παaPp∧Eλ⊂λ¬πλπ@ ⊂⊗1⊂ /↓dGBHε ∧⊂λp8≠↓%0 ∩↓$ ∂↓$⊂ ME` 0↓A`@0∧↓a@@παAPp∧∧h⊂λ εHπ@ ⊂⊗!⊂ .adGαHε ∧⊂λ`8~AE (∩↓∧ ∂A∧⊂ N¬@ 0↓A`08∧↓a0@παA@pβDH⊂λ⊂FHπ8 ⊂⊗⊃⊂ .AdFBHε_∧⊂λ`8~AE ∩↓#p(∂↓∧⊂ ME@ 0↓A@@8∧↓A0@παA0hβD(⊂λ⊗F(π0 ⊂⊗↓⊂ .!dFαhε⊂∧⊂λP8~A% (∩↓∧ ∂↓∧⊂(ME@ 0↓A@@0∧↓a0@εαA@`β∧(⊂λ≠Fλπ0
P⊗↓⊂ .↓dEBhελ∧⊂λ`0~A% (⊃A#p ∂↓$⊂ ME@ 0↓A@@0∧↓a @εαA0`β∧λ⊂λ ε(π(
P∃q⊂ -adEαhελ∧⊂λP0~A% ∩↓βp(∂↓∧⊂ N¬ 0↓A@@0βAa @εαA `αDλ⊂λ%ελπ(
P∃a⊂ -AdDBhε∧⊂λP0~A%⊂(⊃A∧ ∂↓∧⊂ ME@⊂0↓A@08βAa 8εαA⊂`αCh⊂λ*¬hπ(
⊂∃a⊂ -!TEαHε∧⊂λ@0~↓E⊂(⊃↓#p ∂↓∧⊂ ME@⊂0↓A@08β↓a @¬B! `↓Ch⊂λ.Ehπ
P∃Qλ -!TDBH¬x∧⊂λ@0~↓E⊂ ⊃Aβp(∞A$ ME@⊂0↓A@00βAa⊂@¬B!⊂`↓Ch⊂λ3¬Hπ
⊂∃Qλ -↓TDαH¬x∧⊂λ08→A%⊂(⊃↓#p ∂↓∧ ME@⊂0↓↓`00βAA 8¬B!`↓CH⊂λ7EHπ
⊂∃Aλ ,aTCBH¬p∧⊂λ08→A%⊂ ⊃Aβp ∂↓∧ N¬ ⊂0↓↓` 8β↓a⊂@¬α!X↓CH⊂λ;EHπ_
⊂∃Aλ ,!dCαH¬p∧⊂λ 8→A%(⊃↓#`(∞A∧ ME ⊂0↓↓@08β↓a@¬α p`↓β(⊂λ@¬Hπ_
⊂∃!⊂ ,↓dBBH¬h∧⊂λ 8→A%(⊃↓βp ∞A∧ ME ⊂0↓↓@00β↓a⊂8¬α pX↓β(⊂λD¬Hπ⊂
⊂∃!λ ,↓dBαH¬h∧⊂λ 0→↓E ⊃↓#` ∞A#p(ME ⊂0↓↓@00β↓a@∧B `X↓β(⊂λH¬(π_ P∃!λ +aTBαH¬`∧⊂λ 0→↓%(⊃↓β`(∞A∧ ME ⊂0↓↓@00β↓A⊂8∧B `XC(⊂λL¬(π⊂
⊂∃⊃λ +ATABH¬`∧⊂λ⊂0→↓% ⊃↓#` ∞A∧ N¬⊂0↓↓@ 8αAa8∧B `PC(⊂λP¬(π⊂ P∃⊃ +ATAαH¬X∧⊂λ⊂0→↓$p(⊃↓β` ∞A∧ ME⊂0↓↓@ 8αA`p@∧α PXCλ⊂λT¬λπ⊂ P∃↓λ +!T@BH¬X∧⊂λ0→↓$p(⊂Aβ`(∞↓∧ ME⊂0↓↓@ 0β↓A8∧α PPCλ⊂λWE(πλ P∃↓λ *ad@αH¬P∧⊂λ0_ADp ⊂A#` ∞↓#p ME⊂0↓↓@ 0αA`p@βB Q0 @6q ≤B4SDλ
XεP⊂P ⊗@t ↓F⊂(∪A$⊂ ∂↓βP ∂A∪A_A@ 0↓↓@P8βA`pHαE(⊂λ←Dhπ⊂ P∀aλ *AT?BH¬H∧∂`cλαI`BλαG Q`απ`IX @ `⊂β@`(β↓`p@∧↓αdλq"D8Dh
0λP∃⊂h ∨A$,Agp0_A$`(⊂Aβ` ∞↓βp MF@ 0A`@8βA`p@α¬(⊂λfDhπλ P∀a *!T>BH¬@∧∂@sαI@RαG A`απ`IX
pλβAp0βAa
⊂ ≥ P∞!⊂ )"∀SC(πh¬⊂
p@∨↓ep(∪A∧⊂ ∞A#0 ∂A∪1PA`⊂0αA@p8βαA @;!_ ≤B$RDλ
8εP∂@P ∃aβhβK`R0αHApαε`Qpα'β⊂λβ@` βA@p0∧@b4λxB48DH
(λ⊂∀`h ≡a$+απP8↔A$` ⊂↓#P ∞↓β` MF ⊂0↓↓@@8β↓``@↓Dh⊂λt∧hπλ ⊂∀A )AT=αH¬0βO@bxαI Rαπ A`απ@IX @ `⊂β↓`0βAA_ ⊂ ≡x P∞⊃⊂ )α∧Rβ(πP¬⊂
P@≡AE`0∩A∧(∞↓#0 ∂↓31HA@⊂8α↓@`8αB1⊂ @>Q_ ≤"$QDλ
εP∂⊂P ∃ shβ @R(αHAhαε`Axα'βλβ p_βA p(∧b∀λ␈"$8DH
_λ⊂∀0h ≡↓$*απ@0↔↓$P(∂AβP
Aβp MF⊂0A@@8αA`P@↓∧(⊂⊂↓DHπλ ⊂∀! (aD<αH¬_∧∂bpαI AxαGQPαG@IX `λβ↓`(βA!⊂λP H ⊂∞⊃⊂ (B∧PC(π8¬⊂
08≡↓E`(∩↓#p ∞Aβ0 ∂↓∪1@A@⊂0α↓@P8αα!λ @Aq⊂ ≤"$PDλ
λεP∞`P ∀AβXβ R(απ`Q`αε`Apα'αpλβ `_βA `(β@B∧λ↓¬B$8DH
λλ⊂∀` ≥A$)↓g00⊗A$@(∂Aβ@
Aβ` ME`⊂0A@08α↓`@@Dλ⊂⊂∞∧Hπλ ⊂∀↓ 'aT:BH¬λ∧∞@bhαIAxαπQPαπ@IX∂ `_β↓ p_∧"∧λ↓λB$8D(
λλ⊂∪`h ≥↓$(απ 0⊗A$0(∂↓#@
↓β` MI 00α↓`@8Dλ⊂⊂∀∧HπλλP∀↓ 'AD:αH¬βN@b`αIQpαπAPαG IX∩@@p β@aλπP "p ⊂∞⊃λ (↓tNC(π_∧P
@≤AE@(∩↓β`(
Aβ0 ∞A∪B_↓A`08α↓`⊂x @FAλ ≤B∀ODλ `ε⊂∞0H ∀sHβ R_αG@AXαF@Ahα&d0_β↓p_β@!tλ↓∞B∀8DH xπP∪@` ≤A∀'Ag⊂0⊗↓$0 ∂↓β@
↓βP MH`00α↓@18 @H↓λ ≤"∀OCh XεP∞⊂H ∪Aβ@β
`R_αG QXαε@Ahα&d0⊂β@`p_ ⊂ $0λP∞⊃λ 'B∧Mβλπ¬⊂ `8≤↓E0(⊃Aβ`
Aβ ∞A∪B⊂↓↓`08↓¬H⊂⊂%DHπλλP∪`x &!T7BH∧h∧
`bXαH@QhαF@QHαπ IX⊃@` βbTλ↓∀"∀9∧( hπP∪⊂` ≠a$&αεp0∃A$ ∂↓β0 A#@ MH@ 0↓A`!( @Jqλ ≤"∀NDλ @ε⊂
`P ∪s8β
@R⊂αG AXαε@A`α&d ⊂β`p⊂
⊂ %hλP∞⊃λ '!tKCλεp∧P @@≠↓E (⊃↓βP(
↓β ∞↓∪Bλ↓↓@00↓¬λ⊂⊂1Dλπ⊂λP∪@x %aD6B(∧`βM@bPαH Qhαε@QHαπIX⊂@ p⊂β@B4λ↓~α∀9∧λ `λ⊂∩P` ≠!∀%Af`0∃↓∧ ∞Aβ0 Aβ@ MH ⊂8↓↓`⊃_ @Maλ ≤"∀Nβh (ε⊂
@H ∩Aβ(β
RλαGQPαε A`α&d⊂λβ``⊂ ⊂ ' λ⊂∞!λ &atJβλεX¬⊂ 8~AE⊂(⊂AβP
↓β⊂ ∞↓∪BA@ 8Dh⊂⊂<∧(π⊂λ⊂∪0x %↓D5αH∧HβM bHαHQ`αF Q@απIX∂@@`⊂β@"$λ↓∨B∀8D( XπP∩ ` ~A∀$Bε@0∀↓$⊂ ∞Aβ ↓β@ MG` 0↓↓@⊃⊂ @PA ≤B∀Mβh ⊂ε⊂
⊂H ∩ s β
RαGAPαεQXα'β`λβ@@`λλP (HλP∞! &AtHCλεH∧P 8~↓E(⊂↓#0( Aβ⊂
A∪1pA`⊂8D(⊂⊂G∧λπ⊂λP∪⊂x $!D4α(∧8βMb@αλ A`αε Q@αε`IX∂ `⊂ ⊂ ) λ⊂∞! &AtGCλε8¬⊂λp8→ADp(⊂↓#0
↓β
A∪1pA@ 0Dλ⊂⊂LDλπ_λ⊂∪⊂x #aD3α(∧8βL`b8αHAXαF A@αε`I`∞@ `λ ⊂ )pλ⊂∞!λ &↓tGβλε0∧Pλ`8→ADp(∂A#0 Aβ
A∪1hA@⊃8 @T1 ≤b∧Lβhλpε⊂ PH ⊃!β⊂β @Rαε`AHαεAXα&cPλβ `λπP *Hλ⊂∞!λ &↓dFCλε(∧PλP8→↓$p(∂A# ( ↓"p
A∪2 EH⊂⊂VDλπ_λ⊂∪x #↓D1B(∧(βL@R8αG`AXαε A8αε`I`⊃@"Tλ↓,b∧9Dλ 8πP⊃0` _a∀"αε⊂(∪Aβp(
↓β⊂ Aβ0 MH@⊃( @W↓ ≤b∧KChλX¬P 0H ⊃sλαI@Qxαε@Q@α¬`QPα&d λ
P +hλ⊂∞1 %AtEβλε⊂∧Pλ08_↓D`(∂↓# ↓β
↓∪2⊂Eλ⊂⊂a∧λπ_λ⊂∩pp "A40BH∧⊂βLb0απ`APαεQ8αε@I`⊂@"Dλ↓1b∧9Dλ 0π⊂⊃⊂` _↓∀!Aep0∩A#`( A# Aβ MM(⊂⊂f∧λπ_λ⊂∩`p "↓D0α(∧⊂βK`b(αG@APαεA8αε YX~P -λλ⊂∞1 %!tCBhε∧Pλ⊂8↔ADP ∂↓β ↓αp A3C_ @Za ≤b∧JChλ0ε⊂ p@ ⊂ rxβ QhαF Q8α¬`AHα&f4λ↓6at:∧λ πP⊂`X ↔A∀ Ae`0∩↓#P
↓αp( ↓β⊂ MLH⊂⊂p∧λπ_λ⊂∩@x !!D.B(∧βK@b απ QHαεA0αε IX→⊂ .(πP∞A %↓dBβλ¬h∧O`rpβλ`Qhαε Q8α¬@AHα'ε∧λ↓:B∧9Dλ π⊂⊂@X ↔↓∪xβK@b_αGQHα¬`A0αε IX_⊂ .pλ⊂∞A $adACλ¬X∧O`rhαIAhαε A8α¬@AHα&etλ↓=↓t:∧λ _π⊂⊂0X ⊗a∪pβK R_αGQ@αE@Q(αε IX↔P /@λ⊂∞A $AdAαh¬X∧∂@rhαH`Q`αε A8α¬ AHα'¬dλ↓?!t:∧λ ⊂π⊂⊂⊂` ⊗!∪hβK R_απQ@α¬`A(αε IX⊗P 0⊂λ⊂∞@x $Ad@Bh¬H∧O rXβλ@Q`αεQ0α¬ Q@α&eTλ↓AB∧:∧λ λπ⊂⊂X ⊗!∪`βJ`b⊂αF`Q@α¬@A0αεI`∃P 0`πP∞Px $!d?Cλ¬8∧OrXβλ@A`αεA0α¬@A@α&e4λ↓Dα∧:∧λ πP∂`X ∃a∪XβJ`bλαF`Q8α¬@Q(α¬`YX∃P 1(πP∞A $↓t>Bh¬8∧N`bXβλ QXα¬`Q0α¬ A8αfe$λ↓FAt:Ch πP∂@` ∃AβXβJ@bλαε`Q8α¬@A(α¬`I`∀P 1pλ⊂∞A #at>αh¬(∧N@rPαH QXα¬`A0α¬ A8α&e∀λ↓Hat:Ch π⊂∂0X ∃!∪HβJ@RλαF@A8αE A(α¬`IX∀P 28πP∞Q #ad=βλ¬ ∧∞ rPαH APαE`A(α¬ A8α'∧tλ↓Kα∧:∧λλxπ⊂∂ X ∀a∪HβJ RαF@A8α¬ Q α¬`IX∪P 3λπP∞Px #ad<Bh¬_∧Nr@βλAPαE@A0α¬A8α&dtλ↓M!t:Dλλpπ⊂∂X ∀aβ@βJaxαF@A0αE A α¬`I`∩P 3PπP∞`x #Ad<αh¬λ∧M`r@βπ`QHαE@A(α¬A8α&dTλ↓Oat:Dλλhπ⊂∞pX ∀!∪8β
axαε@A0α¬ A α¬@YX∩P 4_πP∞Q #!d;αh¬λ∧
`r8αG`QHα¬@Q α¬A0αfdTλ↓Qat;βhλhπ⊂∞PX ∀↓∪0βI`QxαFQ0α¬A α¬@I`⊃P 4`λ⊂∞Q #↓T;αh∧x∧
@r8αG`AHα¬@A αD`A0α&d4λ↓T!t;βhλ`εP∞PX ∪aβ(βI`QpαFQ(α¬ A_α¬@IX⊃P 5(πP∞`x #↓T:αh∧p∧M b0βπ@AHα¬ Q α∧`A0α'∧$λ↓V"∧:DλλXεP∞0X ∪Aβ(β @ahαFQ(α¬A_α¬@IX⊃⊂ 5pπP∞`x "Ad9Bh∧`∧Mr(βπ Q@α¬ A α∧`A0α&d∀λ↓Xat;βhλPπ⊂∞ X ∪↓∪_βI QpαεA(αD`A_α¬ Y`⊂⊂ 68πP∞a "!d8Bh∧`∧ `r(αG Q8αE A_α∧`A(αfd∧λ↓[↓t;βhλHπ⊂∞X ∩a∪⊂βI QhαE`A(α∧`A_α¬ IX⊂⊂ 7πP∞a "↓d8αH∧X∧ `b(αG A8αEA_αD@A(α&d∧λ↓]↓t;∧λλ@π⊂
pX ∩Aβ⊂β a`αE`A αD`A⊂α¬ I`∂P 7@πP∞px "↓d7αh∧H∧L r_βπA8αEA_α∧@A(α&cdλ↓←At;∧λλ8π⊂
PX ∩!βλβH`Q`αE`A α∧`A⊂α¬YX∂⊂ 8⊂πP∞px !ad6αh∧@∧Lr_αGQ0α¬A_α∧@A αgβTλ↓aAt;Chλ8π⊂
@P ∩↓ββH`Q`α¬@Q_αD@A⊂α¬IX∞P 8Pλ⊂∞a !Ad5Bh∧8∧ b_αF`Q0α¬A⊂α∧@A α&cTλ↓cat;Chλ0εP
0X ⊃Aββλ@aXα¬@Q_α∧@A⊂α¬I`∞⊂ 9_πP∞px !AT5αh∧0∧ `b⊂βε@Q0α∧`A⊂α∧@A α&cDλ↓eat;Dλλ(εP
⊂X ⊃!∩pβH QXα¬@A_αD Qλα∧`YX∞⊂ 9`πP∞px !!T4BH∧(∧ @rλαF@Q(αD`A⊂α∧ A_αgβ4λ↓h↓t;Chλ π⊂
P ⊃↓∩hβH QPαE A_α∧@Aλα∧`IX
⊂ :(πP∞q ad3Bh∧_∧ rλαF@A(αD@A⊂α∧ A_α&c$λ↓j!t<βhλ_π⊂ `X ⊂aαhβλaHαE A⊂α∧@Aλα∧`I` P :pπP∞px ad2Bh∧⊂∧ bβε A(α∧@Qλα∧ A_α&c∀λ↓lAt;Dλλ⊂π⊂ @X ⊂Aα`βλQHαEQ⊂α∧ Aλα∧@YX P ;0πP∂x AT2BH∧λ∧ bαF Q α∧@Aλα∧ A⊂αfc∀λ↓nAt<βhλ⊂εP @P ⊂!αXβG`QHα¬Qλα∧ AαD@I` ⊂ ;xπP∞q !T1BH∧∧
`qxαFQ α∧ Qα∧Q⊂α&c∧λ↓pat<βhλλεP X∨B¬ 8∂↓C
↓α λ↓α A∪1@ @xpx ≡↓t@βHελ¬OA∩HβG@Q@αD`Qλα∧Pxα∧@Y` P <Xλ⊂∞q ∨ad0αg`@∃↓C`( ↓α@ λAα⊂ πAα (MEh⊂_hβhπ@πP∂pp ↔a3h∧J apαE`Q_α∧ Aλαβ`A⊂α&btλ↓u↓t<βhπxεP P≡B¬⊂0∂↓"p( ↓"(λ↓↓p ↓∪A0 @{x ≡α∧?β(¬x¬∂!α@βπ a8α∧`Aλα∧@xα∧@IX ⊂ =hπP∂x ∨AT/αG@@∀↓CP( A" (λ↓α πAα⊂(MEH⊂_pChπ@πP∂`h ↔!#`∧ `ahαE`A_α∧Aαβ`AλαgαTλ↓y!t<∧λπ`π⊂ @P≥B∧p0∞A"`( ↓α(πA↓p λA∪1( @⎇⊃ ≡↓t>βH¬X¬∞aα0βGQ0α∧@Qαβ`@xα∧ IX
P >pπP∂x ∨↓T-Bg⊂@∪↓c0( ↓" λ↓↓p πAα⊂ N¬λ⊂_yβhπ@λ⊂∂0h ⊗A3H∧ qXαE@A⊂α∧@xαβ`AαfbDλ↓⎇At<ChπXεP ⊂X≤α∧P8
A"P(λA!p πA↓p λ↓31 @␈0x ≡↓t=C(¬@¬N↓α(βε`Q(αD @xαC@@pαDI` P ?xπP∂↓ ≡!d,αFp@∩AC 0
Aα⊂ λ↓↓` π↓" MDh⊂ ↓ChπHπP∂⊂p ∃a#8∧ aPαE QαC`@pαβ@Aαfb4λα↓b∧<βhπHεP
pP≠α∧@0
↓"P λA↓p π↓↓` λ↓3A⊂ A↓@x ≡α∧<β(¬0¬
Aα_βε@Q αDPpαβ@Phα∧IX ⊂ AπP∂⊂x ≡↓T*BFP@⊃AC (
↓α⊂ π↓!` εAα MDH⊂
∧λπ@λ⊂∞ph ∃↓#(βH`aHαEQαβ`@pαβ @xαgα$λαε↓t<∧λπ0π⊂
0P~α∧ 0 A"@ λ↓!` π↓↓P πA31⊂ Aβ@x ≡!t;β(¬_¬
r⊂βε Q_αD@pαβ@@hαβ`IX ⊂ Bλ⊂∂↓ ≥!T)αF0@⊂AC⊂( Aα π↓↓` εA↓p N∧(⊂ ∩ChπHπP∞Ph ∀!#⊂∧λ a@αD`PxαC @pαβPpαfb∀λα
!t<Chπ(εP
P→α∧8 A"0 λ↓↓P(εA↓@(π↓3A A¬Q ≡α∧9CH∧x¬ !αβE`Q⊂αC`@pαβ @`αβ`IXλ⊂ C⊂πP∂⊂x ≤aT'BF⊂@∂Abp( ↓↓p(εA↓P ε↓↓p MDλ⊂ ≠βhπHλ⊂∞ h ∪A#∧π`q0αD@Pxαβ @hαβ@pαg↓tλα∞B∧<∧λπ⊂εP PP_αβp0 ↓" πA↓P εA↓@ π↓30x Aπpx ≡!t9β(∧`¬ a↓xβ¬@QλαC@P`αβ @`αβ@IXλ⊂ D⊂λ⊂∂↓ ≤↓d%BEp8∂AB`(λA!` ε↓!@ ε↓↓P(Nβh⊂ #∧λπHπP∞h ∩a"p∧π@a(αD@@pαβ @`αα`Phαfatλα∩at<DλεxεP P↔↓c`0
A"⊂(εA!@ ε↓↓0(εA∪0x A q ≡α∧7C(∧H¬ !↓hβ¬ Qλαβ@@`αβ@Xαβ@I`π⊂ E πP∂⊂x ≠aT$αE@@∞ABP(λ↓!P ε↓↓@ ¬A↓P(MCH⊂ ,∧λπ@λ⊂
Ph ∩↓"`∧πa αD @hαB`@`αα`@hαfadλα↔α∧<ChεhεPλpP∃Bβ@0
↓"(εA↓0(¬A↓0 εA∪@h A ⊃ ≡α∧6β(∧0¬
`q`β¬Qαβ @`αα`@XαβYXπ⊂ F λ⊂∂↓ ≠↓T"BE @
AB@(πA!@ ε↓↓0 ¬↓!@(MCH⊂ 4ChπHλ⊂
h ⊃!"PβF`a_αD@`αB`@Xαα@P`α'↓Tλα≠"∧<∧λεPεPλ@P∀Bβ 0 A!p(ε↓↓0 ¬A↓ εA∪0h A∞ x ≡"∧4C(∧_¬
↓↓Pβ∧`Pxαβ@Xαα`@PαβY`ε⊂ G0λ⊂∂↓ ~!T!αE8
↓B0 πA!0(¬↓↓0 ¬↓↓@(MCλ⊂ =∧λπHπP
p ⊂!"8∧ε a⊂αC`@`αα@PPαα@@`α&aTλα∨B∧<∧λε8εPλ⊂P∪Ac⊂0 ↓!`(¬A↓0 ¬↓↓ ¬A3@` A⊂! ≡!t3C(∧¬ A↓@β∧@Ppαα`PPαα@@HαB`YXε⊂ H8λ⊂∂↓ →ASx¬ !↓@β∧ PpαB`@Pαα@@HαB`IXε⊂ HXλ⊂∂↓ →ASp¬ q@β∧ Ppαα`@Pαα@@Hαα`Y`¬P Iλ⊂∂↓ →↓Sp¬ ↓↓8β∧ Phαα`PHαα@@Hαα`YXε⊂ I_λP∞q →↓Sh¬ q8β∧ @hαB`@Hαα@@Hαα`IXε⊂ I@λ⊂∂↓ _aS`¬λ`q8β∧Phαα`@HαB @Hαα@Y`¬P I`λP∞q _aSX¬λA↓0β∧P`αB@@Pαα @@αB@YX¬P Jλλ⊂∂↓ _!SX¬λ@q0β∧P`αα@PHαα @@αB@I`¬⊂ J0λ⊂∞qλ _↓SP¬λ!↓(ββ`P`αB@@Hαα @@αα@YX¬P JHλ⊂∂↓ _↓SH¬λ↓↓(ββ`P`αα@@Hαα @@αα@YX¬P Jpλ⊂∞qλ ↔aS@¬λq(ββ`PXαB P@αα @@αα@I`¬⊂ K⊂λP∞q ↔AS@∧H↓↓ ββ`@`αα@@@αα @@αα YX¬⊂ K8λ⊂∂↓ ↔!S8∧Hq ββ@PXαB @@αα @8αB YX¬⊂ KXλP∞q ↔!S0∧G`q ββ@PXαα @@αB@8αBY`¬⊂ KxλP∞q ↔↓S(∧GA↓_ββ@@XαBP@αα@8αα YX¬⊂ L λ⊂∞qλ ⊗AS ¬π@q_ββ PXαα @@αα@8αα I`∧P L@λP∞q ⊗AS_¬π q_ββ PPαB@@α↓`P8ααYX∧P LhλP∞aλ ⊗!S⊂¬π↓↓⊂ββ @XααP8α↓`P0αBYX¬⊂ MλλP∞a ⊗!C⊂¬πq⊂ββPPαB@8α↓`@8αBI`∧P M(λP∞q ∃aSλ¬ε`q⊂ββPPαα@8α↓`@8ααYX∧P MPλP∞aλ ∃AS¬εA↓λββPHαα@8α↓`@8ααYX∧P MxλP∞a ∃ARx∧F`qλβα`PHαA`P0α↓`@8ααI`∧P N_λP∞Qλ ∃↓Rx∧F@qλαCPHαα@0αA@@0αA`YX∧P N8 ⊂∞Qλ ∀aRp∧F!↓αCP@αA`@8α↓@@0αA`Y`∧⊂ N` ⊂∞Q ∀aRh∧F qαC@Hα↓`@8α↓@@0α↓`YX∧⊂ Oλ ⊂∞Aλ ∀ARX¬εqαB`P@αA@P0α↓@@0α↓`YX∧P O(λP∞Qλ ∀↓RX¬¬apβα`P@α↓`@0α↓@@(αA`I`∧⊂ OPλP∞Qλ ∪aRP¬¬`ppβα`@@αA@@0α↓@@(αA@YX∧⊂ OxλP∞Aλ ∪aRH¬¬@ppβα@P@α↓@P(α↓@@(α↓`YX∧P P_λP∞Aλ ∪AR@¬¬!hβα@P8αA@@(α↓@@(α↓@Y`∧⊂ P8 ⊂∞Aλ ∪↓R@∧E@phβα@@@α↓@@(α↓@@(α↓@YX∧⊂ P` ⊂∞Aλ ∩aR8∧E phβα P8α↓@@(α↓@@ αA@I`βP Qλ ⊂∞1λ ∩aR0∧E↓`βα P0αA P α↓ P αA YX∧⊂ Q( ⊂∞1λ ∩AB0∧Ep`βα @8α↓@@ αAP α↓@YX∧⊂ QP P∞!λ ∩↓R ¬∧`p`βαP0αA @(α↓@(α↓ Y`βP Qx P∞!λ ⊃aR_¬∧AXβαP0α↓ @(α↓@ αA YX∧⊂ R_ P∞⊃⊂ ⊃AR⊂¬∧@pXβα@0αAP α↓@ αAY`βP R@ P∞⊃⊂ ⊃↓R⊂∧D@pXβ↓`P0α↓ @ α↓@ α↓ YXβP Rp ⊂∞⊃λ ⊃↓Rλ∧D pXαB@0α↓ @ α↓@ α↓ IXβP S_ P∞↓λ ⊂aR∧D pPαA`P(αA@ α↓@_αAY`βP S8 P∞↓λ ⊂AQx∧DpPαA`P(α↓P_α↓@_αAYXβP S` P∞↓λ ⊂↓Qp¬β`pPαA`@(αA@_α↓@_α↓Y`β⊂ Tλ
⊂
a⊂∨C#PPπα↓0β↓ P α↓0 α↓0 α↓308 A(a_ ≠B#pεG↓⊂xβB`0αAP_α`@_α@@P_αf`tλαRb47∧GP`∞α!`8∧↓@` αA0 ↓A0(↓↓ 0(N↓H⊂((¬λεh ∞aQX∧C p@β↓ P α`P⊂α`@_α`YXβP U( P
Q⊂≥β# HεA`p0αA 0(↓A (↓↓0 ↓A308 A+! ≠α#HεF↓ `βA``(α↓@_α`@⊂α@P_α'dλαWbT5DFph αA08βA@@(↓A ↓A ↓↓ (MAh⊂(2¬λεX M!Q8∧Ba0αA P_α@P⊂α@@⊂α`Y`β⊂ VH
P
!_~β"`H¬A``(αA0(↓↓ ↓↓⊂(↓↓300 A-q( ~"3_εE!⊂PβA@P α@`@⊂α@@⊂α P⊂αf`tλα]αT4∧f⊂h
B!⊂8β↓ @ ↓A ↓↓⊂(A (N↓H⊂(<EHε@ ↓Q_¬α p β`P⊂α@ Pλα Pλα@YXβ⊂ Wx ⊂ q⊂↔C" H∧A`@0↓A ↓↓⊂ A⊂(A3@0 A0A0 →B2hε∧A⊂@βA`_α@Pλα @λα Pλαf`dλαbBd2De0hλB p8α↓@ (↓↓⊂ A⊂ A⊂(N↓(⊂(H¬Hε JAQ∧A`p_β@Pλα @λα!⊂λαf`dλαe"d1E¬hπα@`8↓A@ C@⊂pMAH⊂(MEhε⊂ IAPp∧A@p_α@@Pλα!λ∧ Y`β⊂ Z P ⊃_∩C!PHαA`0(↓↓⊃XMAH⊂(Sελ¬x
λaP`∧A p⊂α@ Pλ
'Tλαkβ∧/Dd h¬B @8↓↓ ⊃pMAH⊂(Yελ¬h
πaPP∧Apλβ#YXβ⊂ [@ P 1 ∂β!⊂H↓A`∩⊂N↓(⊂(←F(¬P
π↓P@∧@``λ⊂f`dλαqβ$,¬# `∧α "0N↓(⊂(eFh¬0
ε↓P0¬$YXαP ]⊂
P
A( β PHHs00 A;↓` ∀BQ εA¬9`αP ]x∞P
↓(λC B@MAH⊂(sπ(∧h
D↓P_∪'Tλα{#t%¬!`hI∪0( A>Qx ∩αP`↔gTλα␈∧∧"E!∩`MA(⊂0αλH∧ ↓e→Xβ⊂ ``⊃Oαp ∩gTλβ¬∧c8 @D→XαP ah∀L&Y`αP b0⊗
EyXαP c_λe→Xβ⊂ cP≠Ed9`αP d0 ⊂`QpMA(⊂0)P →`αP f ∪∪@ AN#PN@H⊂0EλHD_⊂␈␈␈␈x␈␈␈␈pjh␈␈␈bλ⊂@~h≥"(ε⊂GP∂iλ %23(≠O2BP ↔f)(∩⊂∂2XJHα∪0 ∩e 0∞Bλ¬` ⊂DY0
@hπ0∨HRtRNd→8 -π!xKP⊃p(↔∞#i8 '`rH≤π2t#LεpH∩McY@≥⊂
B`¬HFq`L Acλ↔ aB≠FSαhβ⊂
B8⊃C#s0
&¬⊂_ ~dRππFaHL⊂∀b⊂∂CCS0 &(¬↔
∧⊃hπGεQHL⊂λ4(JD↓`λεFa@LNhε@∪πc1λ MBy@~P∂R⊂∂F"!H~Es∪λ ##qx DCβ0 &%TNπCa@ εεa0LJH
P∞πBq_ MBiH∪Jet.FCa8
¬Fa0LI∧∀(⊂
!P∂¬BA0≠¬S∩⊂
P t&Fβa0
¬Fa(LHαt=⊂ ⊃8∂¬BA0≠¬3⊃x
¬C⊂ ⊃"qp
E"S8
fCQλ⊃P RH ⊂bap
E"S8
&#@x∂⊂ B ⊂"ap
¬BC8
f#0h
P∞rλ∨ECa ¬εq Mε!AH !ccp
GBA0
∞α9H βαdKππQ(∂∧bq ≠E∪!8¬¬(
_
OαAp EbC@ f"`P P⊗↓P≥Eβa⊂ ∧g↓_M¬!⊃⊂ .c∪P
πB18 Nα9H
Bα$bFπ!_∂∧c↓⊂≤Ds! βD(
N"1p Fα3@ fB00λP≠!0≤DCa⊂ Dg↓_M∧@a 8bc@ πb⊃H Nα9H ↓"∧v¬'↓⊂∂D#⊃_≤DS!λαCh∂(
Mb!xλFB#H &B⊂ π⊂λ"h #bC8 πB!PλNB)Pλ↓↓c( ∪(λ Mb⊃xλFb∪P &Ap εKhε_ ∨α38λGb⊃XλNB)Pπ@aRH ≥Hπ8 MB⊃xλFb∪P &A`_εI%2P_⊂∞1_≠∧∧↓
DG!⊂Mβ@0`⊃λ(∧P∪P∞↓_~D#qλ
D'1⊂Mβ 0`∂G(ε⊃⊂
Q_~D#q∞∧'1⊂Mβ `∞F(π_∂P
1λ≠∧∧↓∞∧'1λMβ X
Ehλ⊂∞P
⊃λ~D#q∞D'1λMβ ` ¬Hλx∞⊂ qλ~D∧↓∞∧'AλMβ X Eλ `
⊂ aλ~Cd↓∞D'AλMβ⊂X ∧h
@ ⊂ Aλ~D∧↓∞DπA⊂Mβ⊂X
∧H _ P 1λ~Cd↓∂∧πAλMβ⊂P D( p ⊂ !~D∧↓∞D'AλM¬b! 1bd0DεA⊂∧βa≡D3 XBB⊃ 4αd/DεPx⊂Ccaλ≡D∪ XBBx 6"T/Dε@x⊂Dβa≡D30PBApp 8BT.DεPx⊂Ccq≡D3 PB!`x :BD.Dε@x⊂Ccq∨∧∪! εCH∂_ P A~βd⊂x⊂βgaλM¬↓@p >B4.βf@x⊃βcq∨∧3! εβ(⊂λ↓∧H¬Xλ
↓b⊂πH↓sxλ&b0Xε⊂ ⊂P ⊂ 0x~βd⊂x⊂∧πaλM∧a ` @"⊃⊂ ⊗As πH!rλ∂b P BA4λFα$,Cf@x⊃βD⊂x ⊂α X α!DλGB$,CF@x⊃βd↓∨D∪!⊂∧Bh⊂λ∩D(¬Hπ
!b⊂πH!t ∧∪!⊂∧αh∧X∃P⊗aλ ⊗↓s πλArλπPλ↓MD!X∨P ∀U∧(¬8πM↓b⊂πH"∧ ∧∪!λβBg∧/⊂∀1 ∃as πλab⊂πPλ↓MDpX→⊂
tND(¬0πM↓b_πλAt D∪!βBEb@∀ H Hλ⊂
pp~βD0p⊃∧λ∧λ&ap8¬
D∧# ( 0πP
pp~βD0p⊃Ch∧λλ&Ap0¬
β4-Hλ _λ⊂
`p~βD0p⊃Ch∧λλ&ap(¬ #∧6π( λπP
`p~βD0p⊃Ch∧⊂λ&Ap(¬λBd=FhλpπP
`p~βD0p∩βh∧λλ&a`(¬λαDDεHλXλ⊂
Pp~βD0p∩βh∧⊂λ&A`(∧Gb4IF(λPπP
Pp~β$@p∩βh∧⊂λ&a` ∧G"$Oελλ@πP
Ph~C$@p∩βh∧_πfA` ∧Gα∧TEhλ0πP
Ph~C$@p∩CH∧_λ&aP ∧FB∧YEHλ(π⊂
Ph~C$@p∩Ch∧_πfA`_∧F!t↑¬(λ π⊂
Ph~βD@p∩Ch∧_λ&aP ∧ε↓dbEλλ_πP
0p~βD@p∩Ch∧_λ&A`_∧¬AtfEλλλπP
0p~βD@p∩Ch∧ πfaP_∧¬!dk∧hλπP
0h~C$Pp∪βH∧ λ&a@_∧¬!TnDhπxπP
0h~C$Pp∪βH∧(πfAP⊂∧DaTr∧hπxπ⊂
0h~C$Pp∪βh∧ λ&a@_∧∧ADvDHπpπ⊂
0h~C$Pp∪βh∧ λ&a@⊂∧∧!Dz∧HπhεP
0p~βDPp∪βh∧(πfA@⊂∧∧!D⎇∧(πhεP
0h~C$`p∪βh∧(λ&a@⊂βD↓Dλ@"∀>β(¬_εM!R0εJ↓d#βs0X↓α↓pX @!↓λ ≡aT)C&Ph∪β%p ⊃AyPε!p¬P ⊂xλ⊂∂ p ∀aC0εIAR@π⊂λaMC⊂8παh⊂λ
∧(πHπ⊂
h~C$ph∀βH∧8πfa0λ∧β!$λFb∧<CH¬⊂εM!R0π
↓d#Cs! εBH⊂λ⊂Dλπ@εP
0h~C$`p∀βH∧8λ&a0λβC↓$λIb∧<β(¬⊂εMAB8π
↓t#Cs1_¬BH⊂λ⊗Chπ@εP
h~C$ph∀Ch∧8πfb X¬⊂ ∪⊂λ⊂∞ph ∀AC0εIaRHπPλpxM∧A0P @'x ≥AT)Cε`h∪C%⊂x ∩↓yX αA∀λOAt;β(¬⊂εM!R@εJAd$βs1λ¬α(∧`∀⊂→px ≥AT)βε`h∪CE p ∩↓yXλB!∀ PλDbβHπ0εP
⊂h≠β$pp∃βH∧@λ&bH∧N(¬@ /!d:C(¬⊂εMAB@εJad$Cs!λ∧α&D4⊂⊗px ≥↓T)βε`h∀β%0p ∩!yXλα!β∩I%4YChπ εP
⊂h≠β¬⊂h∃CH∧Hλ&b@∧ βd Hh
xπP∞@` ∀AC8ε
!RXπ⊂ xMDp@∀F(¬(∂P∃@x ≤aT)βε`h∀βE0p ∩AyXπAaα8 ⊂ Q` *AT:βλ¬⊂ε
aBHεK↓d%βs0xβB∧A ≤C$Tβ(π ε⊂
`≠β%⊂h⊗βH∧XπfAp8∧λB$?F(
(εP∞0h ∀!C8εJ!R`π⊂ 0xMC``@⊂∧(λP ⊂∀0h ≤aD)βεp`∃β%@p ∩ayXπA!↓pλP∩A0 (!d9β(¬λεMARHεK!d%Cs0pβαβA '"dOCHπ⊂ε⊂
`≠C¬ h⊗CH∧`πfa`(∧εatSEλ pπ⊂∞ ` ∀!S8ε
ARhπ⊂ @xMC@P8
βH
⊂∪@h ≤AD)βεph∃β%Pp ∪↓yXεA qHεP↔↓ &aT9βλ¬⊂ε
aBPεKAd&∧∪0hαAbph 0α4Mβ(πλε⊂
`≠C% h↔βH∧hπfaP βEATcDh HεP∞⊂` ∀AC8ε
aRpπ⊂ PxMβ@0@
β( x ⊂∩ph ≤!D)βπ`∃C%`p ∪!yXεAq ε⊂~aλ %aT8Cλ¬⊂ε
aRPεKad'βs0h↓Bα ` 7"∀Kβ(πε⊂
`≤β¬0h↔CH∧pπfaP_βDA4r∧( (ε⊂∞⊂` ∀A3@εJaRxπ⊂ `xMC 00 αH∞Xλ⊂∩@h ≤↓D)βπ`⊗β%pp ∪AyXε`q¬P≡↓λ $aT8βλ¬⊂¬N!BXεL↓d'Cs0`↓AapP =b∧ICλπε⊂
`≤β¬@h_βH∧xπfa@⊂βCa$}Dλ λεP∞` ∀!CHε ↓Sπ⊂ pxMC 8παH⊂λ↓∧λ λεP
p` ∀AC@ε !Cλπ⊂ pxMC 0πα(⊂λ∧Ch λε⊂∞` ∀!CHε ↓Sλπ⊂
xMC⊂8εB(⊂λπ∧λλxεP
p` ∀AC@εK↓Sλπ⊂
xMB` 8εα(⊂λ
βhλxε⊂∞X ∀ACHε !Sλπ⊂
xMB` 0εα(⊂λ Chλxε⊂
p` ∀A3HεK↓S⊂π⊂
↓MB`⊂8¬B(⊂λ∂βhλpε⊂∞X ∀ACHε !S⊂π⊂
⊂xMB`⊂8¬α(⊂λ∩βHλpε⊂
p` ∀A3Pε !S⊂π⊂
⊂xMB`⊂0¬α(⊂λ∀CHλhε⊂
p` ∀ACHε AC_π⊂
⊂xMDA⊂H @%`p #!D7Bh¬⊂ε∞ABhεLad)βs1⊂∧Bλ∧λ∪⊂→@p #↓D7Cλ¬⊂¬NABpεLad)βs1λ∧Bεsx 0AdFβλεx¬P
`≥β¬`h→CH¬⊂πfa λβα↓β ∀H Xπ⊂⊃0` ≠a4)Bg `↔β&@p ∀B XλAaα` _λ 0π⊂⊃0` ≠AD)βπ `↔β&@p ∀ayXλAaα8⊃λe∧YβHλPε⊂
pX ∀ACPε aS π⊂
0xMDp@∩εgBλ +adEαhεx¬P
0X≥C¬p`~CH¬_πfb8βH"t'G(
`εP⊃ ` ≠AD)βπ `↔C&Pp ∃↓yXλ↓@qx
P QP *ATEαhεx¬P
0X≥C¬ph~CH¬ πfb0βGα45ελ
@εP⊃⊂` ≠A4)Cπ `_β&Pp ∃↓yXλ↓ qXλP∞Q8 )ATDβλεpε⊂
`≥C¬ph≠βH¬ λ'↓`0βFα∧@¬H
_εP⊃⊂X ≠a4)Bg0`_β&`p ∃!yXπ↓ q8πP⊃⊃( (ATDβλεp¬P
0`≥Cεh≠βH¬(πfa`(βE!dI¬(
εP⊃X ≠AD)Bg0`_Cεpp ∃" Xπ↓q π⊂∪! 'aDDαhεx¬P
0X≡βεh≠CH¬0πfa` βDaDQDh hεP⊂p` ≠A4)Cπ0`_C&pp ∃AyXπ`q⊂ε⊂∃!_ '↓TCBhεpε⊂
0X≡βε⊂h≠CH¬0λ&a`_βD↓DY∧H Xε⊂⊂pX ≠a4)Bg@`_C'p ∃ayXπ`a¬P↔⊃λ &ATCβλεp¬P
0`≡βε⊂h≤βH¬8πfaP_βCAD←D( Hε⊂⊂pX ≠A4*αg@`→β'p ∃b Xε@`ph¬P_aλ &↓DCαhεx¬P
0`≡βε `≤CH¬@πg↓@⊂βC!$fDλ 8ε⊂⊂`` ≠A4)Cπ@`→β'⊂p ⊗↓yXε@p`¬⊂~!λ %ADCαhεp¬P
@X≡Cε h≤CH¬@λ&a@⊂ββ↓∀lDλ (ε⊂⊂`X ≠AD)Cπ@`→C'⊂p ⊗!yXε@`X∧P≠px %!DBCλεp¬P
@X≡Cε h≥βH¬Hλ&a@λβBA∀r∧λ _ε⊂⊂`X ≠A4*αgP`→C' p ⊗" Xε pH∧P≥ x $aDBBhεp¬P
@`≡Cε0h≥βH¬Pπfa@λβα!∀wCh ⊂ε⊂⊂PX ≠a4*αgP`~βπ0p ⊗B Xε `@∧P≡@x $ADBBhεp¬P
@X∨βε0h≥Ch¬Pπg↓0λβ↓a∀⎇βH λε⊂⊂PX ≠A4*βπP`~β'0x ⊗B X ↓a∧␈CH λε⊂⊂@X ≠A4*Bg``~β'0x ⊗B X ↓A∧λA↓dHβλλ ¬P
pX ∃↓3pε
↓S`πP 1MD `@ @!⊂p $↓4BBhεp¬P
@`∨βε@h≡CH¬Xλ&b⊂(∧
D$[βHλxε⊂⊂@X ≠A4*Bg``~C'Pp ↔↓yXλA!α`≤P∃Pp #a4Bαhεp¬P
PX∨CεPh≡CH¬`λ'α ∧ H∧P )adGαhλ ¬P
pP ∃!Cpε
!Spπ⊂ PxMD@8⊃⊂ ∧Qβ(λpε⊂⊂@P ≠a4*Bgp`~C'`p ↔" Xλ`qx∂GdTOC(λp¬P⊂@X ≠A4*Bgp`≠β'`p ↔" XπAq`
CtNβ(λh¬P⊂@X ≠A4*Bh∧ε
ASpπP QMC`08
¬λ∧8∞⊂∪⊂h #↓DABhεp¬P
`X∨Cε`h∨Ch¬hλ'↓`_βEb$*F( 0π⊂⊃@X a47Bh¬(¬Pλ`≠β'px ↔B Xπ@q(λP ↓8 %!TFαhλ ¬⊂
pX ∃!4 βεph∨Ch¬pλ&a`⊂βDb∧5¬H _εP⊃0` a$7Bh¬(ε⊂λ`≠C(∧π⊂ qMC@ 0 βhπ
⊂∩ h "a4ABhεp¬P
`X ⊂↓C8π⊂λp ↔b→Xπ qλεP∂Q $↓DEBhλ_¬P
pP ∃A4 Cεph ⊂!d0∧∪@hAap` !"DGβ(λP¬P⊂0X ≠a4*Cλ∧ε∞↓T Ch¬xλfaPλββADFDhλhε⊂⊃0X A47Bh¬0¬Pλ⊂`≤β(∧λπP ↓ME↓PX %α$FCλλP¬P⊂0P ≠a4+αh∧λε∞!T Chελλ&b@`¬P∪1λ "aDEαhλ_¬⊂
pX ∃AD Cπh ⊂At0D∪A⊂¬Bh
⊂λP⊃ ` "!4ABhεx¬⊂
pX ⊂!CHεPλ0p _B X αA$TDλλHε⊂⊃ X A47Bh¬0¬Pλ `≤C(∧_πP ⊃λMDA⊂P +B∀DβλλH¬P⊂ X ≠a4+βλ∧λε∞AT!Chε⊂λ&b @¬⊂⊗A !aDDBhλ⊂¬P
pX ∃a4!βπ⊂p ⊂at1∧3A∧α( XπP⊂p` "↓4ABHεx¬P
pX ⊂ACPπ⊂λ0x _b→Xλ↓a∀`∧λλ(ε⊂⊃⊂P a$8αH¬8ε⊂λ `≥β(∧(πP 1MDp@ 1AtBCλλ@¬P⊂ P ≤↓$,αh∧⊂εNAT"Chε_λfb0∧⊂→0x !↓DDαhλ⊂¬P
pX ∃a4!Cπ0h ⊃!t2∧3@xαBλ
πP⊂@` !a4Aαhεx¬P
p` ⊂ASXεPλPx →"→XπA tkβHλ_ε⊂⊂pX A47Bh¬@¬Pλ0`≥CH∧0πP AλMC@P@ 6AdABhλ@¬⊂⊂ X ≠a4,αh∧ ε∞ad#βhε(λfa` ∧⊂≠pp ADCBHλ_¬⊂∞P ⊗↓D!Cπ@h ⊃at3∧3@hα↓h∞ π⊂⊂ X !a4AαHπ¬P X ⊃↓C`εPλq →B→Xε@a∧tβHλλ¬P⊂pX A$8αh¬@¬Pλ@`≡C(∧@πP a⊂MC 08 ;!d@βλλ0¬P⊂ P ≤↓4,βλ∧ ε∂!T$βhε8 &aP_β⊂≡ p ↓4Cαhλ⊂¬⊂∞X ⊗!4"βπPp ∩α∧3DS@`↓↓h∂0εP⊂X !a$AαHπλ¬⊂ ⊂X ⊃!Chπ⊂ ⊂x ~α→Xε@t⎇β(πxε⊂⊂`P A48αH¬H¬PλPh≡CH∧Hλ⊂
↓λMC⊂8 ?aT?Bhλ0¬⊂⊂ X ≤↓4,Bh∧(ε∂Ad$DλεHλg↓0λβP ⊂_εP∂`X !A$Aαhπ¬P ⊂X ⊃!Spπ⊂ ! ~"→X¬@ dλAaT?αhλ0¬P⊂⊂X ≤↓4,Bh∧0ε∂ad%∧λεH &b$λBaT?αhλ(¬P⊂ P ≤↓4,Cλ∧0ε∂ad%DλεH 'α∀λCaT>Bhλ(¬P⊂ P ≤!$-αh∧0ε⊂λp ∩b∧5∧S1 @"@` ∨!4BBhλ⊂¬⊂∞⊂P ⊗A4#Cλ∧εP Q ~B)Xλ⊂ ⊃8εP∂@X !A$AαHπλ¬P ⊂` ⊃AT β(∧hλ⊂
1_MDλ⊂λ
Cλπh¬⊂⊂`P A$8Bh¬P¬Pλp` ⊂!T'∧λεX g↓tλGaD>αhλ(¬⊂⊂ P ≤!4-βλ∧0εPλ⊂h ∪B∧6∧s0x @$ ` ∨↓4BBHλ⊂¬⊂∞⊂X ⊗AD#Cλ∧λπ⊂ q ≠α9Xπ⊂ ∩8ε⊂∂0X !!$AαHπ⊂¬⊂ 0X ∩↓D CH∧xλ⊂
a⊂Nβ(⊂λ∃βλπX¬P⊂PP A$9αH¬Xε⊂λph ⊂!d(∧λεp faTλKAD=BHλ(¬⊂⊂ P ≤A4-Bh∧@ε⊂λ x ∪b∀7∧s0h @&⊂` ≡a4BαHλ⊂¬P∞⊂X ⊗a4$β(∧⊂πP
↓ ≠b9`ε⊂ ∪(ε⊂∂ X !↓$Aαhπλ¬P 0` ∩↓T!βh¬λP
q MCλ⊂λ≤βλπP¬P⊂@P A48Bh¬`¬P ⊂` ⊂at(D(π faDλO↓D<Bhλ ¬⊂⊂ X ≤A$.αh∧HεPλ@p ∀B∀8∧s@X @'p` ≡A$BαHλ_¬⊂∞ P ↔↓D$C(∧ π⊂
!λ ≤"IX¬P ∀_¬P∂ P !↓4AαHπ⊂¬P @X ∩AD"CH¬_λP∞!_MBh⊂λ#βλπH¬⊂⊂@X A$9αh¬`¬P h ⊃!d*∧(π⊂
'↓$λRA4<BHλ ¬P⊂ P ≤A4.βλ∧PεPλPp ∃"∀9¬30P @)PX ≡!4ABhλ⊂¬⊂∞ X ↔!4%Cλ∧0π⊂
Q⊂ ≤bIX¬⊂ ∃ε⊂∂X !↓$AαHπ_¬⊂ P` ∩AT#βh¬( ⊂∞1(Nα(⊂λ*αhπ@¬P⊂@P A$9Bh¬`ε⊂ 0h ⊃At+∧Hπ
fa∀λUa4<αhλ ¬⊂⊂ P ≤a4.Bh∧`ε⊂λpx ∃b$:E30H @+ X ≡!$BαHλ⊂¬⊂∞0X ↔!D%C(∧8πP ↓⊂ ≥"i`∧P ∃h¬P∂P !↓$AαHπ_¬P `X ∪↓T$βH¬H ⊂∞a0MB(⊂λ0αhπ@¬⊂⊂@P A$:αH¬pε⊂ @h ∩↓t,DHπ8 '↓∧λXa4<αHλ ¬⊂⊂ P ≥↓$/βλ∧`εP ⊂x ⊗B$<¬S0@ @,`X ≡↓$BαHλ⊂¬⊂∞@X ↔A4&C(∧HπP 1⊂ ≡"iX∧⊂ ⊗P¬P∞pP !↓$AαHπ ¬P `` ∪!T$Dλ¬X ⊂∂!0N↓h⊂λ6Bhπ8¬⊂⊂@P A$:αh¬x¬P `h ∩At.∧hπP f`tλ\↓4;BHλ ¬⊂⊂ P ≥↓4/Cλ∧hεP 0x ↔"4=Es0@ @. X ≥a$BαHλ⊂¬⊂∞PP ↔aD'β(∧Xλ⊂ Q_ ∨β `βP ↔0¬⊂∞pP !↓∀ABHπ(¬⊂ X ∪aT&βh¬p
⊂∂A@MAh⊂λ<Bhπ0¬⊂⊂@H a$:Bh¬xε⊂ ph ∪↓t0∧hπp 'dλ←↓4;αHλ ∧P⊂0P ≥!40αh∧xπ⊂ A _αD?ε308 @/`X ≥A$Bα(λ_¬⊂∞PX _↓D'C(∧pπP ⊃ β→XβP _λ¬P∞`P a$ABHπ(¬P ` ∀↓T'∧λε⊂
⊂⊂↓PN↓H⊂λBBHπ0¬⊂⊂0P a4:BHελε⊂
h ∪B∧1E(λλ
f`dλb↓$;αHλ_¬⊂⊂0X ≥!40βλ¬λεP q →αTAεs@0 @1 P ≥A$ABHλ_¬P∞PX _!D(βH∧xλ⊂ Q( !βIXβ⊂ _h¬⊂∞`P a$ABhπ(¬P ⊂` ∀!d(∧λε0
P⊂QhMAH⊂λHαhπ(¬⊂⊂0P !↓$:Bhε⊂¬P
p ∀α∀3EHλ0∞gdλdA4:BHλ_¬⊂⊂@P ≥A$1βλ¬⊂π⊂
⊃ ~"dCGs00 @2PX ≥!$ABHλ ¬⊂∞`X _A4)CH¬λλP
⊃8 "#y`αP →@¬P∞PP a$BαHπ0¬P ` ∀aT)D(εP P⊃2MAH⊂λMBHπ(¬⊂⊂0P !↓$;αhε⊂ε⊂
@h ∃α∧6Ehλ`⊃&`dλgA$:BHλ_¬⊂⊂@P ≥A41Cλ¬ εP
Aλ ≠C∧Gλs@( @4⊂P ≥!$ABHλ ¬⊂∞pP _aD*C(¬(λP
q@ $∧iXβ⊂ ~_¬⊂∞PP a$BαHπ8¬P 0` ∃↓d+∧(π P∩"HN↓(⊂λSαHπ(¬⊂⊂0P !↓$;Bhε_ε⊂
Pp ∃B$9ε( (⊗&`Tλj!$:BHλ_¬⊂⊂@P ≥a42βλ¬(π⊂
q⊂ ≥β$KL∪00 @50P ≥!$ABHλ ¬⊂∞pX →↓D+βH¬@ ⊂∞QX &fy`αP ~p¬⊂∞PP a∀BBHπ@¬⊂ P` ∃At,∧Hπ8∞⊂∪t!f`Tλl!$:BHλ_∧P⊂PP ≡↓42β(¬0πP ⊃⊂ ≡#TR⊂
y`αP ≠_¬⊂∞PH !↓∀BBHπ@¬P P` ∃at-∧Hπ`∂⊂∃∀%gDλmA$:B(λ ∧P⊂PP ≡↓42C(¬8πP 1⊂ ∨D∧Y∞SP⊂ @7⊂P ≥!∀ABHλ(¬⊂∂X →AD,CH¬` P⊂αλ 0$4@≠h¬⊂∞PH a$BBHπH¬P `` ⊗!d.Dhλ_⊃P↔"λOαHπ ¬⊂⊂0P !!$<Bhε0ε⊂ p ↔B4CIλ
H∀gA$:αHλ_¬⊂⊂PP ≡!43Cλ¬PπP a "DtJLS`P ≥↓$ABHλ(¬⊂∂⊂X →aT-βhε P⊃bX ∨GYp¬⊂∞@P a$BBHπP¬⊂
` ⊗at0Eλ ⊂_P ∩Xαπ∪`P ≥↓$ABHλ(¬⊂∂ X →aT-Chε⊂
P∩cp≠MaαOαHπ ¬⊂⊂0P !!$=αhε@ε⊂ Px _bTN⊂∪p⊃gA$:α(λ ∧P⊂`P ≡A44Cλ¬hπP A0 (hλλ
Is`P ≥↓∀Bα(λ0¬⊂∂ X ~!T.Chε0 ⊂∃T2πbλ
'A$:α(λ ∧P⊂`P ≡a44Cλ¬pλ⊂ q0 /G#π@cIp¬⊂∞@H !↓∀CαHπX¬P
⊂h ↔at4EH⊂λ∂DApOαHπ_¬⊂⊂0P !A$=BhεPεP px ~bdλE"⊂(⊂gA$9BHλ_¬⊂⊂`P ≡aD5βλελ⊂
A8 @!1λβB@⊃@OαHπ_¬⊂⊂0P !A$>αhεPεP ⊂x ≠C∧λ@" @¬C→p∧P∞@P a$CαHπ`¬P
0h _"∧7F(∂0 BA ⊂β@"9p∧P∞@H !↓$CαHπ`¬P
@h _"∀8εH∞X C!⊂ β@"Ip∧P∞@H !↓$CαHπh¬P
0h _b∧9FH∞
βA β@BYp∧P∞@H !↓∀CBHπh¬P
@h _b∀:Fh
D↓ (β@Bih¬⊂∞@H !↓∀CBHπh¬P
Ph →α∧<πλ 8 ∧a 0βbyp¬⊂∞0P !↓∀CBHπhε⊂
Ph →"∧=πH @ ¬!00β@c p¬⊂∞0P !↓∀CBHπp¬P
Ph →B∀>λλ
H
ε↓ @β@c→p¬⊂∞0P a$CBHπp¬P
`h →b∀?HH H∞εA0@βA`λ gA$9B(λ ¬⊂⊂pP ∨AD7β(ε8 ⊂⊂"( !cap¬B p β Pλπ'A$9B(λ ¬⊂⊂pP ∨a47C(ε@ ⊂⊂b@ ≤D∩⊂¬B@p(β!0λ∧'A∀:α(λ ¬⊂⊂pX ∨A47CHεH ⊂⊃"p ∃dr0εα`p(β@Pλπ'A∀:α(λ ¬⊂⊂pX ∨AD7CHεP ⊂⊃s@→ E0Xε↓``0↓↓ B3`H ≤a$BαHλ8¬P∂pX ≤↓T6∧H ( "F`εα`0↓↓@⊂(A⊂ Oα(π_¬⊂⊂@H "↓4?BhπλεP
Q⊂ 'λπ(≠C↓`8βA@0(↓↓ ⊂ A∪PP ≤a∀BB(λH¬⊂∂p` ≤!T7∧H
0 ⊗H∧λεβa8β`P⊂α@@@λα'A$9B(λ(∧P⊃⊂P ↓49β(εx ⊂⊗S( ∀↓QβB`_β@Pλα@ Ip¬⊂∞0H !!∀DBHλ¬P∞ p ≤α4λLAQλβB ` α@`@⊂α@ Ip¬⊂∞0H !↓$DBHλε⊂∞ p ≤"4λJaQ⊂∧α ` α@`P⊂α@Ip∧P∞0P !↓$DBHλλ¬P∞0p ≤BDλHAa βB@` β`P⊂α@Ip∧P∞0P !↓$DBHλλ¬P∞@p ≤bTλFAa(∧α@`(α@`P_α@Ip∧P∞0H !!$DBHλλε⊂∞@p ≥"DλDAq0∧α``(αAP⊂α@@Ip∧P∞0H !!∀EαHλ⊂¬P∞Pp ≥BTλBAq8∧β`(β`P_α@@Ih¬⊂∞0H !!∀EαHλ⊂ε⊂∞Pp ≡αTλ@!qP∧β`0αAP_α`Ip¬⊂∞0H !!∀EαHλ⊂ε⊂∞`p ≡Bd{Dβ0@ε↓``(αA@ ↓A∪`H ≤a$BB(λP¬⊂⊂0X ≥ad=Eh∞pλπ!hβA@` αA@_α'A∀9BHλ ¬⊂⊃ P aD;Chπ` ⊂≤Aλ∂α↓`0∧↓ P(↓A 0 Oα(π_∧P⊂PP "A$Bαhπ@πP∂a@ 6B"∧C@`@αA P α@`Ip∧P∞0H !!$EαHλ ε⊂∂x #∧gDd HπAA0αA @ α↓∪PP ≤a∀BBHλP¬⊂⊂@` ≡!tAFH _
↓⊃βα`(αA @ α'A$9B(λ(¬⊂⊃ P !!D=βHλ0
⊂↔↓(∪α"⊂0∧A `(α↓ @ Oα(π_¬⊂⊂PH "a4BβλπXπP⊂q` *bbH∧D pHαA@P(αAIp∧P∞0H !A∀EBhλ(¬P∂@x "CdNEe@H ↓a⊂0β↓ P αA∪`H ≤a∀Cα(λX¬P⊂P` ∨↓tGπhλp Ka⊃_βα@`8α↓@@(α'A∀9B(λ0∧P⊃0X !A4>Dλ ⊃⊂∂Q`→α"@0¬A p(β↓P NBHπ_∧P⊂PP #↓$CβλπpπP∩B0 ~#s0∧E `XαBP(αA Ip∧P∞0P !!$FαHλ0ε⊂∂px &%$) π H ↓A00βA `(αA∪`H ≤a∀CαHλ`¬⊂⊂p` ∨b∧NM%bp∨B"`8¬AA(β↓` Oα(π_∧P⊂`P #↓$CCλλλπP∀4@⊂λ@P Aa@(∧↓ p β↓∪`H ≤a∀Cα(λh¬⊂⊃` "∧U⊂
D%BC0εA!⊂(β↓ ` NBHπ_∧P⊂`H #!$Dβ(λλλP⊗$*P
@P AAP0∧↓ p(β↓∪`H ≤a$Cα(λh¬⊂⊃⊂` b∧a (ε⊂¬F phβα P8α↓`Ip∧P∞0H !a∀FBhλ@εP⊂1λ @)pP
Aa`(∧A! βA∪`H ≤a∀CαHλh¬P⊃⊂` !"∀λR↓1`ββ`PPαB@8α'A∀9B(λ0¬⊂⊃PX "ADC∧(⊂λ!αc@8πAA⊂(∧↓ p NB(π ∧P⊂`P #!4Eβλλ8 ⊂ ∪X¬G@pxβα@P@αA`Ip∧P∞0H !a$GαHλXε⊂⊃↓λ @&P`∂AB0¬↓!⊂ βA3`H ≤a∀CB(λx¬⊂⊃0h ""∀λKa2βD PXαB @8αgA∀9B(λ8∧P⊃pP #↓DEDH⊂λ∪C∧⊂8λA!@ ∧A p NBHπ_∧P⊂pH #a$Fβ(λ` ⊂ ∩ελ`a⊂βα`PHαA`Ip∧P∞0P !a∀GBHλhεP⊃A_ @#⊂`∩↓b 0ε↓!⊂ ∧↓∪`H ≤a∀CBHλx¬P⊃P` #B4λDAR(βD@``αB@@@α'A∀9B(λ8¬⊂⊃pX #!TH∧h⊂λ¬β$p0
↓!P(∧A! Oα(π_∧P⊂pP #a4Gβ( λ P ⊂⊂π
q αC PPαBIh∧P∞@H !a$GBhλxε⊂∩1 >AbPβE`hαB@@Hα'A∀9B(λ@¬⊂∩P #aTJ¬(∂λπJ`q(ββ PXαα Ip∧P∞0H "↓∀HBH εP∩a( :!rhβE `pαB@PHα'A∀9B(λ@∧P∩⊂P $!TKEH∞πK`q0ββ@PXαB Ih∧P∞@H "↓∀HBh εP∪!0 5bβλβE@`xαB`@Pα'A∀9BHλ@∧P∩⊂X $!TN¬H pλ `q@αC`P`αα@Ip∧P∞0H "↓$HBh ⊂εP∪a8 0b#(βFQαB`PPα'A∀9B(λ@¬⊂∩⊂X $aTPελ @ M`qHββ`P`αB@Ih∧P∞@H "↓$IαH _π⊂∀!H +"CH∧ε aαC@Xα'A∀:α(λ@¬⊂∩ P %↓dRεh
λ
OqPβ∧Phαα`Ip∧P∞0H "!$Iαh εP∃↓` %αcx∧ε@aββPXα'A∀9B(λH∧P∩0X %!TUGHλ( ⊂λ @
AB⊂(εA!0 NB(π ∧P⊃⊂H $a4Kβ(
p⊂P∞QP ⊃@q`β∧ PpαβIp∧P∞@H "!∀IBh 8εP⊗"_ _cd$Bβ@0 ↓!P(¬A3`H ≤a∀Eα( ¬⊂∩pp -E∧&HH∧h∧π@Q⊂αC@PXαgA∀9B(λH¬⊂∩@X %ad]L%BX ∀`qxαD`PpαβIh∧P∞@H "!$Jαh @π⊂_∀<⊂ @∂AB (πA↓@ Oα(π ∧P⊃⊂P %↓4LCH 8 →H¬x∧λa_αC@P`α'A∀9B(λP¬⊂∩@X &Adh⊂
∧3B∧⊂0 A!p(ε↓∪`@ ≥↓∀EαH (¬⊂∪0p 7Et:B$⊂0
↓!p εA∪PH ≥↓∀Eα( 0¬P∪0x @/@H⊃↓B@(λ↓↓P Oα(π ∧P⊃ H %A4Nβh⊂λ;B$00
A!p(εA∪`H ≤a∀EB( 0¬P∪Px @. H∩↓BP(λ↓!P NB(π ∧P⊃0H %A4Oβh⊂λ6B$P0
AB π↓∪`H ≥↓∀EαH 8¬P∪pp @-H∪↓B`(λ↓!` Oα(π ∧P⊃ P %a4Pβh⊂λ1α$p0 ↓"⊂(π↓∪`H ≤a$EαH 8¬P∀⊂x @+PH∀↓Bp(λA↓p NB(π ∧P⊃0P %a4Qβh⊂λ,α%⊂0 A" πA∪`H ≥↓∀EBH @¬P∀! @* H∃↓C(λA!p Oα(π ∧P⊃0P &↓4Rβh⊂λ&B%00 ↓" (π↓3`@ ≥!∀EBH @¬P∀Q @(`P⊗↓C0 ↓↓p(NB(π ∧P⊃@H &!DRDλ⊂λ BEP0 A" (πA∪`H ≥↓∀Fα( P¬P∀q @' X↔↓C⊂( A!p Oα(π ∧P⊃@H &A4T∧(⊂λ~αep0
↓"0 λ↓∪PH ≥!∀Fα( Pε⊂∃⊃ @%pP_AC (
↓α Oα(π ∧P⊃@P &a4U∧(⊂λ∀αf 0
A"0(λ↓∪`H ≥↓∀FαH X¬P∃Aλ @$⊂X→Ac0(
↓" Oαλπ(∧P⊃@P &aDVD(⊂λ
Bf@8
AB@ λA∪PH ≥!∀FαH `¬P∃a⊂ @"@`~ACP(
↓"⊂ Oα(π ∧P⊃PP '↓4X∧H⊂λεCεp0∞A"P(λA∪`@ ≥!∀FBH `ε⊂⊗⊃⊂ @ ``≤AC`(
Aα NB(π(∧P⊃PP '!4YDH∂xεN@apαE@A⊂α'A∀:B(λh¬⊂∪PX -"4{C'@0∂↓BP( ↓∪`H ≥↓∀GαH hε⊂⊗a_ <↓Spβπ`Q0αD Yh∧P∞PH #A∀OBh @
⊂≤pp∨Acp( Aα (Oα(π(∧P⊃`H 'aD\Eλ∞π⊂λ⊂8∂AB`( ↓∪`H ≥!∀Gα( xε⊂↔A 5at!AD⊂( A" Oαλπ(∧P⊃pH (↓D↑E( pλ⊂λP0⊂A# A∪PH ≥!∀GαH
ε⊂_↓( 1"∧$↓D ( A"0 Oα(π(∧P⊃`P (!4a¬h XλP ⊂8⊃↓#( A∪`@ ≥A∀GαH
λε⊂_A@ ,α$&↓d 0 ↓α@ NB(π(∧P⊃pP (A4cF(
( P p0∩↓#(
↓∪`H ≥!∀GBH
⊂ε⊂→⊃P &BD)↓D@( A"@ Oαλπ0∧P⊃pP (ADfFhλh ⊂
@8∩↓C⊂
A∪PH ≥A∀GBH
_ε⊂~↓` αt,↓dP( A"P Oα(π(∧P∩P (aDjπHπλ P @0∪↓# (
↓3`@ ≥A∀HαH
ε⊂~r⊂ ↔cD0↓D`0
↓αP(NB(π0∧P∩P )↓TmIH∧P⊂⊂ @8∪A# (
A∪`H ≥A∀HαH
(ε⊂≤β∀JHεHβI`QXαE Ip∧P∞PH $!$RC(∞( ≥λεpβJaXα¬@Ih∧P∞`H $!$Sβλ∞h _Hπ(βJ QXαE@Ip∧P∞`H $!$SCλ∂( ∪(πpβ
@Q`αE@Ip∧P∞`H $!$SC(⊂λ↓Kλλ`βJ@a`α¬`Ip∧⊂∞`H $A$Tβλ⊂λ\↓e0(∞↓"p NB(π0∧P∩ P *↓Tλl`r`αG Q8α'A∀;α( ⊂¬⊂∃⊂h @5p8⊗↓CP A3`@ ≥a∀IαH
Pε⊂ ~`β ahαE`Yh∧P∞`H $a$Uβ(⊂λSAe`(∂↓"p Oα(π0∧P∩0P *aTλh`rpαG`A@α'A∧;B( _¬⊂∃@` @3p8↔AC`( ↓∪PH ≥a∀IBH
`εP →P∧ QxαFIp∧P∞`H %↓$VC(⊂λK↓f⊂(⊂↓β⊂ Oαλπ8∧P∩@P +ATλd!βλβπ`QHα'!∀;B( ¬⊂∃`p @1P8→↓D( A∪`H ≥a∀JαH
xεP _HβMRλαε Yp∧⊂∞pH %!$Xβ(⊂λBαε@(⊂A#⊂(NB(π8∧P∩PP ,!Tλ`s(βλ QHα'A∀;B( (¬⊂⊗ h @/0@~AD⊂(
↓∪`@ ≡↓∀JBH ⊂π⊂ ↔0∧
`R⊂αF@Ih∧P∞pH %A$YCH⊂λ8Bπ(⊃Aβ0 Oα(π8∧P∩`P -↓dλ[↓∪@βλ@QXα'A∧<α( 0¬⊂⊗Pp @-@≤AD0(
A∪PH ≡↓∀KαH 0π⊂ ⊗_∧∞@b απIp∧P∞pP %A$[CH⊂λ/απ@(∩↓#0(Oαλπ@∧P∩pP .↓dλV!βhαI QXαg!∀<α( 8¬⊂↔⊂x @*0H≡AD@(∞↓∪`H ≡↓∀KBH PπP ∀p∧O@b(αGIp∧⊂∂⊂H %a$]Ch⊂λ$B'p0∪↓βP NB(π@∧P∪X .atλQ↓∀ A$`(∞A∪`H ≡↓∀Lαh hπP ∪p∧Pλ (∪A#P OαλπH∧P∪X /AtλN↓$!AD`(∂↓∪PH ≡!∀Lαh xπP ∪_¬⊂λ@0∪A#P(Oα(π@∧P∪ P 0α∧λK!$"AE ∂↓3`@ ≡!∀MαH ⊂πP ∩@¬⊂λ`0∀↓#` NB(πH∧P∪ P 0b∧λH!$$A%⊂(∂↓∪`H ≡!∀MαH λP ⊃X¬⊂ (∀A#p OαλπH¬⊂∪ P 1B∧λE!4%AE⊂(∂A∪PH ≡!∀MBh 0λP ⊂x¬P @0∃↓∧ Oα(πH∧P∪0X 2α∀λB↓4'↓E (⊂↓∪`@ ≡A∀MBh PλP ⊂λε⊂ p0∃A#p(NB(πP∧P∪0X 2b$⎇βλ¬λβ
`RαgA∀<B( h¬⊂→Q⊂ =↓D)↓E@(⊂↓∪`@ ≡A∀NBH x ⊂≥P` ∃bhαλ Ih∧P∂ H '!$hDH∞(εP
p(⊗A$⊂ Oα(πP∧P∪PX 4B4nC(¬HαK@Rλα'A∧=αH h¬P~A_ 5Ad-↓EP(⊃↓∪PH ≡A∀Oαh
0
⊂→Px ↔bpαH Yp∧P∂ H 'A4l¬( (π⊂ p0↔↓$ (OαλπX∧P∪pP 6bT↑βhελβ `R⊂α'!∀=B( x¬P≠A0 ,b∧1AF ⊃A∪`H ≡A$OBh
x ⊂∃⊃λ →@cαH`Ip∧⊂∂0H (↓4q¬h x ⊂
0_A$0 NB(πX∧P∀X 9#∧J∧hεXβ R α'A∀=B(
λ¬⊂≥↓P !bT7↓F (⊃A3`@ ∨↓∀PBh∞P∞⊂∂!0 ≤@c⊂αIYh∧P∂0P (!4wπHε` ⊂∞P0→A$@ Oα(πX∧P∀ X <D∀-FhπHβ `R(α'A∧>α(
⊂¬P≡r( ⊃Ct?↓F@(∩A∪PH ∨↓∀QBh∂X↔ e∧AAFP ∪↓∪`H ∨↓∀QBh⊂λP
tD↓FP(∪↓∪`@ ∨↓$QBh⊂λ∧⊂ dGAF`(∩A3PH ∨↓∀Rβλ⊂λλ⊂ ∀L↓F`(∪↓3`H ∨↓∀RBh⊂λ∂
H
0β
`R0α'A∧>B(
(¬P ≡Xβ
`R8α'!∀>B(
(ε⊂ ≡0βNR8α'A∀>αH
0¬P ≡_βNR@α'A∧>B(
8¬P ≡β∞@R8αg!∀>B(
8ε⊂ ≥`β∞@R@αgA∀>B(
@¬P ≥Hβ∞`R@α'A∧?α(
@¬P ≥0β∞`RHα'!∀>BH
@ε⊂ ≥⊂β∂RHα'A∀>BH
H¬P ≤pβORPα'A∧?α(
Pε⊂ ≤PβO RHαg!∀?α(
Pε⊂ ≤8β∂@RPαgA∀?α(
X¬P ≤ β∂`RPα'A∧?B(
Xε⊂ ≤β∂`RXα'!∀?αH
`¬P ≠`βPλ(∃A∪`H ∨A$Vβλ⊂λ\↓h∧αJ`Yp∧⊂∂pH +!Dλm d!↓%0(NB(πx∧P∃`` @6⊂0 ⊂@R`α'A∀?B(
pε⊂ ~hβPλ0(⊗↓∪`@ ↓∀WCλ⊂λTAh∧_αK Ih∧P∂pP +aDλi@d"A%P Oα(πx¬⊂⊗` @4⊂8 ⊃ RhαgA∧@αH εP →hβPλ`(⊗A3PH ↓∀Yβλ⊂λM↓H∧8αK@Ip∧P⊂H ,ATλe t#AE` Oαλλλ∧P⊗0` @2 8 ∩Rxα'!∀@B( ε⊂ _hβP ⊂(↔A3`H ↓$Zβ(⊂λDAh∧PαK`Yp∧⊂⊂⊂P -!Dλa t%A& NB(λλ¬⊂⊗Ph @0⊂8 ∪Sα'A∀@BH 0εP ↔`βP P(_A∪`@ A∀\β(⊂λ<↓h∧pαLYh∧P⊂ H .↓Tλ]t'A&⊂(Oα(λ⊂∧P↔⊂h @.8 ∪`cλα'A∧AB( PεP ⊗XβP
⊂(→↓∪PH A$]C(⊂λ3αλ¬λαL`Ip∧P⊂ P .adλX@t)A& (Oαλλ_¬⊂↔@p @+P@ ∀`S_αg!∀ABH hπ⊂ ∃@∧⊂
@0→A∪`H a$←βH⊂λ)Bλ¬0αMIp∧⊂⊂@P /adλSa∧+↓&@(NB(λ ∧P_⊂p @) @ ⊗S αgA∀Bα( ⊂π⊂ ∀(∧⊂ ⊂(~A∪`H !↓∀aCH⊂λ αλ¬Pβ
Ih∧P⊂PH 1↓dλNa∀-A&` Oα(λ ¬⊂_Pp @&`H ↔S0αgA∀BαH 0π⊂ ∪λ∧P `(≠↓3`@ !!$cCH⊂λ⊗α(¬xαM`Ih∧P⊂PP 2↓tλIA∀0↓Fp Oα(λ(¬⊂→⊂x @$⊂H _@S8αgA∧CαH PπP ⊃`∧P 0(≤↓3PH !A$eDλ⊂λ
BHε β∞Ip∧P⊂`P 3!tλD↓$3↓'⊂ Oαλλ8¬⊂→a @! P →`SHαg!∀CBH xλP ⊂_¬P
0≤A3`H !a$hDλ∂p¬⊂
0(≥↓∪`@ "↓$i∧(∂8¬P
@(≥A∪PH "↓$j∧(∂ε⊂
P0≥↓3`H "↓$k∧(∞P¬P∞(≥A3`H "↓$kDH∞_ε⊂∞⊂(≡↓∪PH "!$lDH
`ε⊂∞00≡↓∪`H "!$mDH
(ε⊂∞`(≡↓3`H "!$nDh hεP∞p(≡A3`@ "A$oDh (π⊂∂⊂0≡A∪PH "A$pEλ hπ⊂∂00∨↓∪`H "A$qE( πP∂`(∨↓3`@ "a$s¬(
Xλ⊂⊂(∨A3PH "a$t¬H
⊂λ⊂⊂00∨A∪`H "a$uEH HλP⊂P0 ⊂Ip∧P⊃0P ;BtG∧HλHαPλ(NB(λ`¬⊂≡⊃H B4F↓(∧λαgA∀FαH∂
P∞Q( #`d A∪`H #↓${G(ε@ P∩ 0 ⊂@Ip∧⊂⊃PP >d∧+FH 8αPλ (NB(λh¬⊂ ⊂∩⊂λ1p &`T!A3`H #!$λA%B0∪⊂∀0 ⊂`Ip∧P⊃PP @!$5P∀P0 ⊂`Yh∧P⊃`P @"∀-⊂∃@0 ⊃Yp∧P⊃`P @#$#⊂⊗P( ⊃ Ip∧P⊃`P @$rH 0@T#↓∪`@ #a$λ↓β`d"A3PH #a4λ↓α`d#↓3`H #a4λ↓αd#A∪`H #a4λ↓↓@T#A3PH $↓4λ↓`T$↓3`H $!$λ↓d$↓∪`H $!$λ␈ d$↓3`@ $A$λ}@d$A3PH $A$λ⎇`d%↓∪`H $A4λ|`d%↓3`H $A4λ|d%A3PH $a4λ{@T&↓∪`H $a4λz`T&A∪`H %↓$λzd&↓3`H %↓$λy d&A3PH %!4λx d'↓∪`H %!4λw@d'↓3`H %!4λv`d'A3`H %!4λvd(↓∪PH %a4λud(↓3`H %a4λt d(A3`H %a4λs@d)↓∪`H %a4λr`d)↓3PH &!4λq`d)A3`H &!4λqd*↓∪`H &!4λp d*↓3`H &!Dλo d*A3PH &a4λn@d*A3`H &a4λm`d+↓3`H &aDλl`d+A∪`H '↓4λld+A3PH '!4λkt,↓3`H '!Dλjt,A∪`H 'A4λi d-↓3`H 'ADλh d-A3PP 'ADλg@d.↓∪`H (↓4λf`d.↓3`H (↓Dλe@t.A3`H (!4λd`t.A3`H (!Dλc`d/A3PH (ADλcd0↓∪`H (aDλbd0↓3`H (aDλat0A3`H )↓Dλ`t0A3PP )↓Tλ←d1A3`H )ADλ↑t2↓∪`H )ATλ]t2↓3`H )aDλ\ d3↓3`H *↓Dλ[t3↓3PP *↓TλZt3A3`P *!DλYt4A∪`H *ATλXt4A3`H *aTλV`t5A3`H +↓TλU`t5A3`H +↓TλT`t6A3PP +!TλS`t6A3`H +aTλR@t7A3`H ,↓TλQ!∧7A3`H ,↓dλP t8A3`H ,!dλO↓∧9↓∪PP ,AdλMa∧9A3`P ,adλL`t:A3`P -↓dλKA∧:A3`H -AdλJ!∧;A3`H -adλI↓∧<↓3`H .↓dλGa∀<A3`H .!dλFA∀=↓3PP .AdλE!∀>↓3`P .atλCa∀>A3`P /↓tλBA∀?A3`H /AtλA!∀@↓3`H /b∧␈B(λ⊂αgA∀`Ch∂H¬⊂⊂0(Oα( ⊂λ⊂≡0P ! Yh¬⊂_1λ ;!$C↓3`P 1"∧sBhλ@αgA$c∧(∞¬P⊃ (OαH @λP≠ X #Yp¬⊂→!λ 4aDFA3`H 3α$fβλ αgA∀g∧H (ε⊂∩ (Oα(
P↔Ph %Yp∧P~!_ -ATK↓3PP 5αDVCH HαgA$k¬(
πP∪0(OαH
H
P∪1 ' ip¬⊂≠10 $B∀P↓3`P 7BtD∧(
_αgA$pFλπh ⊂∀p(OαH∞
⊂∞↓ *@Yp¬⊂≤q` _bdW↓3`P :cd*ε( λαgA$wHH∧λ∞P⊗P0OαH∂ ∃ $D]A3`P >(ε0 0Yp¬⊂∨t+P_p(OαH⊂λβPλDgA3`P @"B@ 6`ip¬⊂ !(αgA$λ↓∧@Yp¬⊂ xβ'A$λ↓β Yp¬⊂ PαgA$λ↓αYp¬⊂ (αgA$λ↓@ip¬⊂ αgA$λ␈ Yp¬⊂ ∨Pβ'A$λ⎇`ip¬⊂ ∨(αgA$λ|@Yp¬⊂ ≡xβ'A$λ{ Yp¬⊂ ≡PαgA$λy`ip¬⊂ ≡ β'A$λx@Yp¬P ≥pαgA4λv`ip¬P ≥@β'A4λu@Yx¬⊂ ≥_αgA$λtip¬⊂ ≤hβ'A4λr ip¬P ≤8αgA4λqYp¬P ≤λβ'a$λo@ip¬P ≠Pβ'A4λm`ip¬P ≠ β'A4λl@Yx¬P ~pαgA4λj`ip¬P ~@β'A4λi ix¬P ~λβ'A4λg@ip¬P →Xβ'ADλe`ix¬P → β'A4λd ipε⊂ _hβ'a4λb@ipε⊂ _0β'ADλ``ix¬P _β'ADλ←ix¬P ↔Hβ'ADλ]ypε⊂ ↔λβgaDλ[ ipε⊂ ⊗Pβ'aDλY@ipε⊂ ⊗_β'aDλW@ypεP ∃PβgaDλU`ipεP ∃_β'aDλS`yxε⊂ ∀XβgATλQ`ixεP ∀⊂βgATλO`yxεP ∪PβgaTλM@yxεP ∪λβgAdλK yxπ⊂ ∩@βgaTλI yxεP ∩βgaTλFa xεP ⊃8βgAtλD! xπP ⊂`∧'atλAa xπP ⊂⊂∧h↓d}B3px =a→xπP≡ HOCh∞h∧gb∧sB4x 8A→xλ⊂≠@HOD(
(¬(α∀gBSqλ 2!:λP_0XP∧H X¬hα$Zβ∪q_ +!J
⊂∀PhPDh hπ(αDJCT↓0 "azλ ⊂⊂⊃λPελπ8λh#∀6∧t!P ↔bZλ∂⊂ q8Qλ'aXQ
$2_QP *( ∀TT jDd !@↓␈␈␈x␈␈␈␈x␈0r␈␈␈x␈⊂n βOpd5c(λHGP∀)λ∨∂πi__P
βλIJhλ0∃e∧dOIrB_ -$9(⊂P_rλJGh
H∂e#dtG2a` >βI0
P ⊂0
eC$λEβ)8 ⊂ ∩λ eC∧λK# 8 P ∪H ebdλQ"i8 ⊂ ∀x %bTλVBi@
⊂ ⊗
ebDλ[BY8
⊂ ↔@
&α4λ`B9@ P _P eb4λeα)@ ⊂ →h &α$λi")@ ⊂ ~h &α∀λmB)@λP ≠pλf"∧λqB→@λ⊂∃3p 9" @λ⊂∪∀5⊂~1LChλp "( 0λ&α∧B⊂∀$←∧∪↓ ∨'cX∨⊂⊗qLChπ@_P s⊂ ,!yHπP∞"X !E4UCsx ≠DdOIH
@πf!d5λh ∩⊂∀0xLCHε0⊂P_rλ 'ay@πP !x 6#tMCs⊂p _βTtπH Hπ&!d.πλ∂@∞⊂∩`pLCH¬H
P ⊂0
P∩0pLC(¬@ P ⊃ P∩⊂pLβH¬( P ∩ P⊃`pLCH¬_ P ∩h ⊂⊃@hLCH¬λ ⊂ ∪H P⊃ hLCH∧x ⊂ ∀_ P⊃hLC(∧p
P ∀x
P⊂phMβλ∧`
P ∃H
P⊂@hLCλ∧P
P ⊗_
P⊂ hLCλ∧H
⊂ ⊗h
⊂⊂⊂hLCλ∧8
⊂ ↔0
⊂⊂`LC(∧( P _ P∂`hLC(∧_ P _P P∂@`Mβλ∧⊂ P →⊂ P∂0`LCλ∧λ ⊂ →X ⊂∂ hLCλ∧ ⊂ ~_ ⊂∂⊂`LCπqλ @5Qλ ≥aIPε∂"∀λm"∀;β∪⊂`≡∧(⊂λ↑∧(π0¬f!CXλP ≤ λP∞@`Mαg1 @9Aλ ≤AIHε∞"∧λuα∧9αs X≤∧λ⊂λmDλπλε&!3@πP↔Cp :"∧8αs X≠∧λ
H ~h
0πP
pXLBf`x '(λP 2At7β∪⊂`~CH ( (H λλ⊂
PXMαf@x #'cX∨P↔ x ≠↓9P¬LadCLHε@_P⊗@x ~a9H¬Lad@Jhλ8∃P∃`x ~a9P¬ At> h x∪P∃ p ~A9H¬L!d< λ (⊃P∀`p ~!9P¬L↓d:λ( @⊂P∀ p ~↓9P¬ ↓d8πh
P∂P∪`p ~↓)H¬KaT7π(∞P∞P∪0p →a)P¬ aT5πλ∂H∞⊂∪p →A)H¬KAT3Fh⊂λβFh (εP `XMαePh →#∀λE#$Iβ(ε(¬fA"hεP !H @$⊃H $↓T2αs P⊗β(ε P ∩p ⊂⊃`h _a9H¬ ↓T.Eh⊂λ≥¬hλXεP @PMαE0h ⊗btλQ"dDC(ε_¬&A"PεP ⊃0 @*↓0 !aT1αS P∀C(¬8 ⊂ ∃P ⊂⊂P` _A)H¬
!T+¬λ⊂λ2E(λ_εP ⊂PMαE⊂` ∃αDλ[bT@Cλελ¬&A"@ε⊂
1_ @/⊃ ↓D0αS P∪Cλ¬λ P __ P∂`h ↔a→P∧IaD(∧h⊂λEDhπhε⊂ pHLBDp` ∪B$λe"$=Cλ¬x∧fA"0ε⊂ A_ @3Q⊂ ≡AD/α3 P∩Cλ∧X ⊂ ~0 ⊂∂⊂X ↔!)P¬ !4%∧H⊂λW∧Hπ8ε⊂ @PMα$P` ∩α$λmB$:Cλ¬`¬&A∩(¬P ↓ @7qλ ≥!4.αS H∩αh∧8λ⊂ ≤8λP∞0` ⊗a→P∧I↓4"Dλ⊂λgDλπ_¬P 0HMα$0X ⊃α∧λub∧8Bh¬X∧fA∩_¬Pλ1 @;Q ≤↓D-α3 H⊃αh∧⊂λ⊂ ≡(λ⊂
pX ⊗!)P∧HA4 Ch⊂λv∧λεp¬P ⊂HMα$⊂X ⊂↓tb⊂λ∧xβhεh¬P ⊂HMα$⊂X∨Ch λ ≠λ
hπP
PP ⊗!→P∧H↓3pπP∀TEP~ x ~a4,α3 H⊂αgPx 'λ
2↓t5αh¬8∧fA∩¬∂!dJOGSp 0!t4Bh¬8∧fA⊃x¬NatG HεH→⊂↔ x ~↓4+B3 H∂BG0p "%4D λ (π⊂
P ∃a P∧GA3Pπ⊂⊂B8 ($tXβHε8¬⊂
`HMα#`X≤CHπx∩⊂⊗b +↓d3αH¬0∧fA⊃p¬∞!T>λ( P⊂P∃p →!$+α∪ H∂αFpp ≡βtnπh
εP PP ∃!→P∧G!#8π⊂∞Ap ;βTPC(ε ¬⊂
PHMα#PP≠βHπλ∞⊂∨1` 'AT1BH¬(∧&A⊃h¬
!d7εh⊂λ∧Fh XεP P ∃↓→P∧G!# εP
AP @"qP %aT1αH¬ ∧&A⊃`¬
!D4F(⊂λ∩ε( (εP ⊂P ∃↓ X∧π↓# ε⊂ q@ @&↓H $AT0αH¬_∧fA↓`¬ aD2ελ⊂λ≡ελ ε⊂ P ∀a P∧π↓#⊂ε⊂ !8 @)↓8 #!T/BH¬⊂∧fA↓`∧LAT/EH⊂λ)EHλ`εP `P ∀A P∧Fa∪λεP Q0 @+a( "AD/αH¬⊂∧&A⊃P¬ !D-E(⊂λ4E(λ8εP PP ∀! X∧εA#ε⊂ ! @.1 !AD.BH¬λ∧&A↓P¬ aD,¬λ⊂λ>¬λλ(ε⊂ @P ∀↓ P∧εA"pε⊂
q_ @0a_ aD.αH¬∧&A↓P∧KaD*∧h⊂λH∧hλλε⊂ 0H ∀↓→P∧F!∩pε⊂
1_ @3↓_ ∨aD-B(¬∧&a↓H∧K!D)∧H⊂λPDhπp¬P 0H ∪a→P∧ε!∩h¬P
⊃⊂ @5⊃⊂ ∨!D-α(∧x∧&A↓H∧K↓D'D(⊂λYD(π`¬P ⊂P ∪`yP∧ε!∩`¬P aλ @71λ ≡AD,α(∧x∧&A⊃@∧Ja4&D(⊂λaD(π@ε⊂ H ∪`yX∧ε↓∩X¬P 1λ @9!λ ≡↓4,α(∧p∧&A↓@∧JA4%∧(⊂λi∧(π0¬P H ∪! P∧ε↓∩P¬P ⊃ @;! ≥A4+α(∧p∧&`q@∧J!4$∧λ⊂λq∧λπ ¬P
`H ∪! P∧¬a∩H¬Pλa @=⊃ ≤a4+α(∧h∧&A↓8∧J↓4#βh⊂λxChπ⊂¬P
`H ∪↓ P∧¬a∩@¬PλA @>q ≤!$*B(∧hβfa↓0∧Ia4"βh⊂λ␈Chπ¬P
@H ∪↓ P∧¬A∩8¬Pλ x 2λ∧ ?At7Bh¬ ∧P @8Mαα`H∪BH∧⊂πP⊗T6⊂≥0x ≠A4*αλ∧`∧&`q0∧IA4 βh
H #λ
xπ⊂
PX ∀a∀%B∪ @
B$`P ⊂↓tOP∀TkβHεh¬⊂
0@ ∪yP∧¬!∩0¬∂adL∂gSx 3Ad6αH¬_∧⊂ 0@MAbPH∩Bg`p $&44Lh 8π⊂
0P ∀A∀%As @
α$PP∨β(λ`⊗⊂⊃∩` 0!d5αH¬⊂∧⊂ 08MααP@∩BG@p !dtQ
λ `π⊂
⊂P ∀!∀%α∪08
B∧@X≥CHλ⊂∩⊂↔α .↓d4αH¬λ∧P 8Mαα@@∩αG0p ∨D∀fλ( π⊂ pP ∀!∧%↓s @
α∧@P≥βHπP∂P≠ax ,↓d3αH¬∧P ⊂@MAb@H⊃BG⊂h ≥cdwπ(
hεP `P ∀↓∧%↓s @ B$ P≤C(π ∞⊂∨Q` *AT2BH¬∧⊂ ⊂8MAb@@⊃αGh ≤#4λBc4SC(ε ¬⊂ p@ ∩! PβE↓α⊂¬
aT7εH⊂λ FH
ε⊂ @P ∪a∧$As @ B∧ P≠β(εX P ∩0
⊂∀h _a$'αλ∧Hβf`q_∧λA∪0εP
⊃@ @&!H 'AT1αH∧p∧⊂ 8Mαα H⊂B&`` →C∧λOC∧Nβλε⊂¬⊂ P@ ∩ yXβDaα¬
!D2¬h⊂λ%¬h HεP ⊂H ∪A∧$↓s 8 B∧P~βλε⊂ ⊂ ∃0 ⊂∩p` _!∀&Bλ∧@βfA↓⊂∧λ↓#_ε⊂ ↓0 @,↓( %AD0α(∧h∧⊂λp@MAb @⊂αF h ↔"TλZbTICλε∧P @@ ∩yP∧∧A↓x∧LaD.¬λ⊂λ:Eλ ⊂ε⊂ `P ∪↓∧#As08 αβpH→βλ¬P
⊂ ↔x
⊂⊃p` ↔A$%Bλ∧8βf@q⊂∧πa∪λε⊂ ↓ @1↓ #AD.B(∧`∧⊂λp0MAb⊂@∂B&⊂X ∃b4λdB4Fβλ¬h∧P 0@ ⊃`yPβDA↓p∧L↓D*Dh⊂λM∧hλXε⊂ @H ∩a∧#↓s08λBβ`H↔Cλ¬ ⊂ ~ ⊂⊃⊂` ↔↓∀%αλ∧0βf@qλ∧πA∩x¬P
!⊂ @5Q⊂ "↓4-B(∧X∧⊂λP8MAb@∂α%`` ∀α$λm"$Cβλ¬P∧P @ ⊃@yPβD!↓h∧KA4'DH⊂λ↑DHλ(¬P H ∩@t#↓s08λαβPH⊗Bh∧p ⊂ ≤(λP⊂@X ⊗A∀$Bλ∧(βf@q∧π!∩h¬P Q @9aλ A4,B(∧PβPλP8MAb8∞B%@X ∪α∧λuB∀@Bh¬@∧P ⊂8 ⊃@iPβD↓↓`∧K↓4%∧λ⊂λo∧λλ¬P H ∩↓∧"AS08πBβ@H∃Bh∧Hλ⊂ ≡(λP∂`X ⊗↓∧$Ah∧(βf@qβG↓∩X¬P ↓ @=A ∨!4+B(∧@∧⊂λ@8MAap@
B% X ⊃b∧λ⎇↓t>BH¬8∧Pλp@ ⊃yPβCa↓X∧JA4"Dλ⊂λ⎇DλπX¬⊂
p@ ∩t"↓s08πAc0H∃αH∧(πP _πP∂ X ∃!∀#Bλ∧ β&@px∧εA∩H¬Pλ@x @A⊂x ≡!4*B(∧8βPλ@0MAap8
α%⊂P ⊂atλ↓∧↓t<αh¬(∧⊂λp8 ⊃iPβC`qX∧
↓4!βH⊂⊂ βHπ8¬P
@H ⊃A∧!As08παβ @∀αh∧πP→4 ⊂ ⊃_π⊂∞pP ∃↓∧#Ah∧_βf@pxβFAα@¬⊂λx -hεp ?ad;αH¬ ∧⊂λ`8 ⊂`yXβCA↓H∧ a3xπ⊂∃4FP≡0p ≥!$)B(∧(∧⊂λ 8M↓ap8 B$`P∨CH
⊂ )H∞Hπ⊂∞@P ∀a∧#↓h∧_β&`ppβF!∩0¬∂ATMOgT ⊂≤⊂p ≤a$)α(∧(βPλ00M↓a`@ α$`P≡βH →⊂
3_ 6Ad9αH¬⊂∧⊂λP8 ⊂`iXβC@qH∧ !#`π⊂⊃bX "EDjCHπλ¬⊂
@ ⊃ t!↓S00παβ@∩BG0p "$tQIh
π⊂∞P ∀!∧"Ah∧⊂β&@ppβF↓α(¬∞AdB λ H∩⊂→0p ≠a$(Bλ∧ βPλ 0MAaP8 α∧PP≤C(λ⊃⊂→Rλ 1aT7BH¬∧⊂λ@8 ⊂@yPβC@q8∧I↓∪HεP∂B 7D∧aC(εp¬⊂
@ ⊃t As08εAc@⊃BGh ≡βtwπh xεP
PH ∀↓∧"↓h∧λβf@ph∧¬aα_¬
aT:G(∂p∞P↔@` ≠!∀(αλ∧_βPλ⊂8MAaP8 B∧0P≠Cλπ⊂
P ⊂h∞⊂↔h ≠↓∀'Bλ∧_βPλ 0MAAP@ α∧0P≠βλεx
⊂ ⊃X
P⊗Ph ~a∀'Bλ∧_βPλ⊂0M↓aP8 B∧ H≠βλε` P ∩H P⊗0` ~A$'αλ∧_βPλ⊂0MAa@8 B∧ H~CλεP ⊂ ∪( P∃ph ~!$'αλ∧⊂βPλ⊂0M↓aP8 α∧ H~β(ε8 P ∀λ ⊂∃P` ~!$&Bλ∧⊂βPλ⊂0MAa@8 α∧ H→C(ε P ∀h P∃0` ~↓∀'αλ∧⊂β⊂λ⊂0MAAP8 α∧P→Cλε⊂ ⊂ ∃@ P∃` ~↓∀&Bλ∧⊂βPλ0M↓a@8 α∧P→βλε ⊂ ⊗_ ⊂∀`` →a∀&Ah∧⊂βPλ0MAa@8
B∧P_Cλ¬x
P ⊗h
P∀@` →a∀&αλ∧λβPλ0MAA@8
B∧P_Bh¬h
⊂ ↔@
P∀ ` →!∀&Ah∧λβPλ0M↓a@8
BβpH_Cλ¬P
⊂ _⊂
⊂∀` →!∀&αλ∧λβ⊂λ0MAa08
BβpH_βλ¬H P _` P∪pX →!∀%Bλ∧λβO`iPβCq ∧πa∪¬P
q @2A '↓D2α(∧XβPλ⊂8∨AS08¬AbP8∂B%p` ∃"4λgB4MBhε_∧P 0@ ⊂sxβ&```βE↓↓p∧Ka4*∧H⊂λSDh H¬P 0H ∩`t ↓gp0M↓a08
αβ`H↔αh¬_ ⊂ ~x P∩p` _A∀%αλ∧β∂`iXβB`q βGA∩p¬P
⊃λ @7⊃⊂ %A41α(∧H∧⊂λ0∨AS00¬Ab@@∞B%PX ∀α∀λp"$Jαhελ∧P 8 ⊂cxβ&@pXβDa↓h∧K!4'∧(⊂λdD( _ε⊂ H ∩!βxβO@iXβB@q βG!∩`¬P Qλ @:⊃λ $A40αλ∧PβO`spβ&``XβDa↓h∧ ↓4%D(⊂λlD( ¬P @ ∩ sxβO@iPβB`a_∧π!αX¬P !λ @<⊃ #a4/B(∧@∧∂@spβ&`pPβD`qh∧
a4$Dλ⊂λt∧(λp¬⊂ p@ ∩ sxβ∂@iXβα`q⊂∧π↓αP¬P ↓ @>↓ #!$/α(∧@βO`cpβ&@pPβD`q`∧J!4#Ch⊂λ|∧λλX¬P PH ⊃aβpβ∂@iXβB@q⊂βG↓∩H¬⊂λ`x @?q "A4.Bλ∧@βO@cpαf``PβDA↓X∧J↓4"Ch⊂⊂ββhλH¬P @H ⊃`spβ∂@YPβB@q⊂βFa∩@¬⊂λ@x @AQ !a4.αλ∧8βO@cpαf`pPβ∧A↓P∧J↓$!Ch⊂⊂
βhλ8¬⊂ @@ ⊃`shβO YXβα@q⊂βFaα8¬Pλ⊂x @C0x !A$-Bλ∧8βO s`β&``PβD qX∧ a$ Ch⊂⊂⊂Chλ(¬⊂ 0@ ⊃@shβOiPβB q⊂βFAα8¬⊂λp @E⊂p !↓$-α(∧(βO s`β&`pHβD qP∧ a#xπ⊂ "xπ⊂⊂0P ⊗A∧#↓gP0≡↓S00¬↓B⊂@ B$PP∨βH⊂⊂≠βHλ⊂¬⊂ ⊂H ⊃ shβ∂iPβB qλβF!∩(¬∂!dλ↓∂↓d@BH¬H∧⊂λP8≡AG@0MAa⊂8λαβ⊂@∩BG@p 4H∧λ @%pp ↓$,Bλ∧ βO c`β&``HβD qH∧ !#Xπ⊂↔d7P ⊃Xπ⊂∂pP ⊗↓∧"Ag@0≡↓300∧Ab8 B∧@P≥C( ⊂ #h⊂λπβHπp¬⊂ @ ⊃s`β∂YPβB aλβF↓α ¬∞ATT⊂∃∀λA↓d>BH¬8∧⊂λ@8≡↓G@(MAa8λ↓cH⊃BG⊂h 'h∧λ∨⊂λ∀}βHπ`¬⊂
p@ ⊂`s`β∂YXβα qβF↓α_¬∞↓TL
λε`~⊂≡Pp ≡a$+αλ∧ β∂cXβ&``Hβ∧q@∧λa∪@εP∩"h #¬TwC(πX∧P
p8 ⊃sXβ∞`iPβBqβEaα_∧MaTFJλ
0∀⊂≥ h ≡A∀+αλ∧_βN`cXβ&`p@βC`q8∧λa∪0εP⊃α /$TrC(πH∧P
`8 ⊂`sXβ∞`iXβα aβEaαλ¬
!TBλ(
λ⊃P≤` ≡!∀*Bλ∧⊂βN`cXαf``@βC`q8∧λ!#(ε⊂⊂↓x 8d∀mC(π8¬⊂
@@ ⊂`cXβ∞`YPβBpxβEAαλ¬
↓D>πH∂_∂P≠h ≥A$*αλ∧⊂βN@cXαf`p@ββ`q8βH!#_ε⊂∂⊃` @ 1p 5↓D;α(¬ ∧⊂λ 8≥↓G0(MAA8πAb`@⊂α&0` ≥#DλDCDhβ(π(∧P
@8 ⊂@sPβ∞@iXβαppβEAα∧LaD8Fh⊂λ⊂εh hεP∞@H ∀a∧ Ag 0≥↓S 8∧↓Ap8
B∧H→βλεx P ∩h
P→ ` ≥↓∀)Ah∧⊂β∞@cPαf`p8βC@q0∧πa∪λε⊂
AH @'!H 1aT9αH¬⊂∧⊂λ⊂0≥↓G (MAA8π↓bP@∂B&` ~BtλQc∧bCλπ⊂∧P
@ ⊂ cPβ∞@YXβα`pβE!↓x∧L↓D3EH⊂λ)Fλ ⊂ε⊂∞⊂H ∀@t Ag⊂0≥↓3 8βAa`8
AcpH↔Cλε( ⊂ ∃p P↔p` ≤!∀(Bλ∧βN cHβ&`p8βC q(∧πA∩x¬P 1( @-⊃8 /!48B(¬λβPλ8≤AG⊂(MAA0π↓b@@∂α%`X _"Tλ\bd]Cλεx∧P
⊂8 ⊂sHβ∞ YXβ↓`ppβ¬ qp∧KA4/¬(⊂λ?¬( H¬P
pH ∀↓∧ ↓G⊂0≤A300βAaP8
αβPH⊗Bh¬h
⊂ _@
P⊗`` ≠A∀(↓h∧β∞ SPαf@p8ββ@q βG!∩`ε⊂ ! @2! -↓D7αλ¬βPλ0≤A'⊂0MA`p0εAb@8∞B%@X ⊗"4λfbTYαhεh∧P p@∨AG⊂(≤A300βAaP8 Bβ@H⊗αh¬0 P ~(
⊂⊗X ≠!∀'Agp0≤A'⊂(MA@p8ε↓b@8∞α%0X ∃"4λkB4WBhε`∧⊂ p8∨AG0≤A300βAAP8 Bβ@@∃BH¬ ⊂ ≠8 P∃PX ~a∀'απ`0≤↓G⊂(M↓``8εAB0@∞α¬ X ∀B$λpα$UBhεX∧P `8∨↓fp0≤↓S08β↓a@8 Ac@@∃αh¬λP ≤H ⊂∃⊂` ~A∧'↓g`8≠AG(MA@p0εAb @
B¬⊂X ∪b∀λt"$TαhεH∧P P8∨↓fp0≤↓300βAA@8 Ac0H∀αh∧hλP ≥H ⊂∀`X ~!∧'↓gP8≠AG(MA@`8ε↓b 8
B%P ∪"∧λx"$RαhεH∧⊂ P8∨↓Fp0≤↓3 8β↓a@0 Ac H∪Bh∧Xλ⊂ ≡H ⊂∀0P ~↓∀&↓g`0≠A'(MA``0ε↓b 8
α$pP ∩B∧λ|"∀QαHε@∧⊂ @@≡AFp(≤↓300βAA@8λBβ @∪BH∧HπP ∨HλP∀X →A∀&↓gP0≠A'(MA@`8¬Ab 8
α∧`X ⊃b∧λ↓α∧OBhε0∧⊂ @8≡AFp(≤↓300β↓a08λBβ⊂@∪αH∧0λ⊂ @λ⊂∪PX →A∧%AgP0≠↓Fp(MA@`0ε↓B 8 B∧`P ⊃!tλ↓βb∧Nαhε(∧⊂ @0≡AF`0≠A3 8β↓A08λAc⊂H∩BH∧ πP !0λ⊂∪0P →!∧%Ag@0≠↓Fp(MA`P8¬Ab⊂8 B∧@P ⊂atλ↓π"∧MαHε ∧⊂ 08≡↓F`(≤↓300β↓a00λAc⊂@∩αH∧⊂π⊂ "(λ⊂∪P →↓∧%↓g@0≠↓&p(MA@`0¬Ab⊂8 α∧@P ⊂!dλ↓
b∧KBHε_∧⊂ 8≡↓F`(≠A300β↓A08λ↓c@∩αGpx @F x %A$1Bλ∧Pβ∂c0αM`YXβ↓ pXβ∧ q8∧Ha∪xπ⊂ #HπP∩PP _A∧%↓g00~AFp MA@P8¬↓b8 α∧0H∨βH⊂⊂ βH ¬⊂ @ ∩ sXβ
c0αf@p(βα`qβEaα⊂¬∂!dλ↓⊃AtIαHελ∧⊂ ⊂8≥AFP0≠↓308αAA00λ↓bp@⊃αG@h @IPx $!$0Bλ∧@βN`c(αM`YXβ↓@`PβDq0∧λA#XεP %_πP∩P _↓∧$AG00~A&`(MA@P8¬↓ap8 B∧⊂P≥β(⊂⊂,Chλx¬⊂ @ ∩sPβ
S0αf``(βB@aβEAαλ∧NATiPλ$λRadGαH¬x∧⊂ 8≥↓FP(≠↓300αAA 8πAb`@⊂B'⊂h /Hπ⊂ @&`p #!$/Bλ∧8βN@c β
@IXβ↓ `PβC`q0βH!∪@εP⊗∀IP ∩@π⊂⊃@P ↔A∧#Ag 0~↓&`(M↓`P0¬↓Ap8 α∧H≠C(
8 +(⊂λ∂βHλX¬⊂ `8 ∩cPβ
S0αf`p βB pxβE!α∧MATO⊂λ#x ⊃λ⊂λ
CHλP∧P `@ ⊃`cPβ
S0α&``(βB ppβE@r∧M!TKMλεx≠⊂ ⊂pεP⊃ H ↔@t#AG 0~↓&P(MA@P0¬↓Ap8
BβpH~β( λ⊗P∩αx @ ph "!∀.Bλ∧0βN c_β
YXβ↓ `HβC@q(∧πa∪_εP⊃2H *E4λ@!TDα(¬`∧⊂λ`8≤A&@(≠↓∪00αAA⊂8π↓bP8∂B&0` !DTa h∂`εP⊂`P ↔t#↓g⊂(~↓&P(MA@@8∧AA`8
Bβ`H→βλλ⊂⊃⊂~b( =ATCαH¬X∧⊂λP8≤A&@(~A300α↓a⊂0π↓b@@∂α&⊂` ∨D∧tHH∂⊂εP⊂PH ↔t#↓G⊂(~↓&P MA@@0∧Aa`0
Ac`H_BhπP∂⊂∨2 ;ATBα(¬X∧⊂λP0≤↓F00~↓3 8α↓A⊂8εAb@@∞B&` ≥CDλBctuβ(λ_∧P @ ⊃ c@β `S(αf`p βα `pβDa↓h∧KaD9Fh⊂λ
π(∞0εP⊂0H ⊗@t"AG0→A&P MA@P0∧↓aP8
↓cPH↔Bhπ
⊂ ∩@∞⊂≤0h !$,Bλ∧ β∞c_αMYXβ↓p@βC q_∧π↓∩pε⊂
AH @&aX 8↓D@B(¬PβPλ@0≤↓F0(~↓300α↓a0π↓B@8∞α%P` ~#∀λPc$nCλλ∧P ⊂8 ⊃c@β @S(α&`` βα `hβD`q`∧K!43Fλ⊂λ'FH
HεP∂pH ⊗↓∧!Afp0→↓&@(MA@@0∧↓aP8 αβ0H⊗βλε P ∃X P~p` ∨a∀,↓h∧_βM`S_αMYXβ↓`@βCq_βFa∩`¬P !0 @,qH 4aT>B(¬@βPλ08≠A&0(~↓∪00α↓A0εAb @
α%0X _αTλ\c∧hCλπh∧P
p@ ⊂@s8αL@S αf``_βB`hβ∧`qP∧Ja4.E(⊂λ?¬h xε⊂∂@H ∃`t!AFp(→↓&@ MA@08βAa@8 ↓c0@∃αh¬X
P _@ P→@` ∨↓∧+Ah∧_β
@c⊂αL`YPβ@``@βCqλ∧εAαP¬P ⊃ @210 2AD=α(¬0βPλ00≠↓F (→A308↓AA0ε↓b 8
α¬ P ∃bDλg"TdβλπP∧P
`8 ⊂@c0β S α&`` βα``βD!↓H∧
!4*Dh⊂λSE( 0¬P∂ @ ∃@t!↓F`0_A&0(MA@@0βAa@0 ↓c⊂H∀αH¬ ⊂ ≠λ
P_0` ≡↓∀*Ah∧⊂β
@S⊂αL`YXβ↓`8βB`qλβF!∩8¬P
⊃_ @7! 0A4<α(¬ ∧⊂λ⊂0≠↓& ~↓∪00↓A`p0ε↓b⊂8 B∧pX ∪b$λpbD`αhπ@∧⊂
P8 ⊂ c0αL S_αf``_βA```β∧ qH∧ a$'∧H⊂λf¬λ hε⊂∞`H ∃t AF`(_A&0 MA@00∧↓A08λAc@∪αh∧` ⊂ ≥( P↔@X ≥A∀)Ah∧λβ
cλαL@YXβ``8βB`qβF↓α0¬⊂ 1λ @;a_ .A4;αλ¬ βPλ0~AF(→A∪00↓A@p8¬AB⊂8 B$PP ∩"∀λyB4\βλπ ∧P
08 ⊂c(αL S⊂αf``_β↓``XβDq@∧ !$$∧λ⊂λwDH 8¬P∞@@ ∀`t ↓FP(_A& (MA@00βAA08λ↓bp@∩αH∧8λ⊂ ∨8 ⊂⊗PX ≥↓∧)↓h∧β
Sλα `IXβ``8βα`aβEaα ¬⊂λQ @?q⊂ ,a49B(¬⊂β⊂λ0~A&(→↓300↓A@`8¬↓b8 α∧@P ⊃↓tλ↓↓b$Yαhπ⊂∧⊂
8∨AF@0_↓& MA@ 8β↓a 8πAbp@⊃BH∧⊂λ⊂ p ⊂⊗X ≤!∀(Agp0~↓F →↓300↓↓``0¬AB8 α∧ P ⊂Atλ↓¬B$Wαhπλ∧⊂
⊂8∨AF@(_↓& (M↓` 0βAA 8πAb`@⊃αH∧πP !pλP∃PX ≤!∧(↓gp0~↓&(→↓∪08↓↓@p0¬↓ap8
B∧ P∨Ch⊂⊂∩D(
`¬⊂∞@ ∀ cxβ
Sα @YXβ``0βB@`xβEAαλ¬∂Adλ↓ "∀Uαhεx∧⊂
8∨↓F@(↔A& MA@00β↓a⊂8πAbP@⊂B'Px @FA *!47αλ¬βO@c_β `Sλαf``_β↓@`PβC@q(∧λ!∪`π⊂ #XλP∀pX ≠A∧'Ag`0→A& →↓∪00↓A@`0¬↓Ap8
Ad⊂H≥CH⊂⊂!∧λ
0¬P
PH ∪@spβ `RxαL YXβ``0βα ppβE!↓x¬∞Adλ↓∩"∧RBHεh∧⊂ p0∨↓F0(↔A&⊂ MA@00β↓A⊂8π↓b@@∂BG⊂h @J↓ )↓$6α(∧pβ∂@S αK`Cλαf``_β↓ pHββ@q(βGa#8π⊂ %8πP∀0P ≠↓∧'↓gP(→A%p(_A300↓↓`P8∧AA`8
αβ`P≠βH⊂⊂.Dλ
λ¬⊂
@8 ∪@shαL`RxαL IXβ@p(βα ppβ¬↓↓p∧MAdλ↓→↓tPαHεX∧⊂ P8≡A&0(↔Aε⊂(MA@ 0β↓A⊂8εAb@8∂α&Pp @M x 'a$5Ah∧hβOc_αK@Sλα&``⊂β↓@`Hββ@q_∧π!∪ εP 'λλ⊂∪PP ~A∧&AG@0→↓E`(_↓300↓↓@`0∧AAP8 BβPH~βλ x ⊃λ⊂λ2Ch `¬⊂
⊂@ ∪ c`β @Rxα IXβ@`(βBphβD`qh∧LaD]⊂∞TλSatMBHεH∧⊂ @0≡↓F (↔↓&(MA@ 0αAa8ε↓b0@∞α& ` +λ 8 @(⊂x &A$4αλ∧`βN`c⊂αK@Cλα&``⊂β↓ `Hββ q_βG↓∪λε⊂∀$Y⊂ ∪8π⊂∪⊂P ~↓∧%Ag00→↓%P(_↓300↓↓@P0∧AAP0 Ac@H_β( @ ⊂h∧λ ⊃h⊂λ⊗CH @¬⊂ p@ ∩`sXβ RpαLIXβ@`(βαp`βDA↓X∧KaTHM(π⊂≤⊂ ∩0π⊂∩pP →a∧%↓g00_A%` _↓300↓↓@P0∧↓a@8 ↓c0H↔CλλX⊗P∩Cλ @#pp %A$3αλ∧Xβ∞`S⊂αK Sα&``⊂β↓ `@ββq⊂∧εA∩pε⊂⊂RH +eDλF!dJBHε0βP 00≥A& ↔↓%p(MA@ 0α↓a0ε↓b 8
α%P` ∧Td
λ⊂λ CH ¬⊂ P@ ∩@cXαL Rpα IXβ@` βA`p`β∧@qX∧ !4>λH
`∪⊂ ⊂pπ⊂∩0P → t%↓G0(_A%P(↔A300↓↓@@0∧↓a08λBβ @⊗βλπ8⊂⊂≥r @!⊂p $A$2αλ∧Hβ∞@cλαK Cα&``λβA`@ββqλβFAαXε⊂∞1p @ ∩_ @ @p $!$1Bλ∧Hβ∞@cαK Rxαf``λβA`@ββaλ∧ε!αX¬P∞↓` @""λ @ p $↓$1Ah∧Hβ∞@cαK Rxα&``λβ↓ `8βB`qλβF!∩Hε⊂
1` @$∩ ?↓dGBHε⊂∧⊂ 8≤A&⊂(⊗A¬p(MA@⊂0αA@p8¬Ab8 B%⊂X ~β4λLβd|CHλp∧P 08 ∩sHαL R`αK`IXβ `(β↓```β∧ q@∧J↓43ε(⊂λ∨G(∂(εP⊃`H _@t$↓g⊂(_↓%P ↔A300A@@8βAA08λ↓cH∀αhε⊂ P ∀`∞⊂≡ h #!∀0Bλ∧8βN SαKRxα&``λβ↓p8βα`qβF↓α8¬P ↓8 @+!X ;aTFα(ελβP 0≤↓F(⊗↓%`(MA@⊂0α↓@p8¬↓b8 α∧pX ↔"dλYC4vβ(λP¬⊂ 8 ∩c@β Bhα `IXβ ` β↓`pPβDq8∧ A4-EH⊂λ9εH∞@εP⊃ P ↔a∧#AG0↔A%@(↔↓300A@@0βAA00λ↓bp@∪αh¬@
P ↔p P≤`h "!∀0↓h∧8β∞SαKBxα&``λβ↓`8βα@qβEA∩ ¬P
a( @1⊃H 8aTDα(¬xβPλp0≤↓& ⊗↓%` MA@⊂0α↓@p0¬↓ap8 B∧@X ∃αDλeβ∧pCλλ@∧P `@ ⊃@c@αK`R`α @YXβ ` β↓@pPβ∧q0∧ ↓$)¬λ⊂λOEh
pεP⊂pH ↔@t#↓G(↔A%0(↔↓∪00A@@0β↓a 0πAb`@⊃Bh¬ P ~H P≠@h !!∀/↓h∧0β
`bxα Rhαf``λβ↓`0βα@pxβE!α_¬⊂ a_ @6A0 6ADBB(¬h∧⊂λP0≠AE`(⊗↓¬` MA@⊂0α↓@`0¬↓a`8
B$ P ∪α4λo"dkC(λ ∧P P8 ⊃ c8αK`RXαK YXβ `_βA@`Pββ`q(∧λ!4%∧H⊂λcEH
(ε⊂⊂@H ↔t"AFp(↔A¬@ ↔↓∪00A@08αAa⊂8π↓bP@⊂BH∧H ⊂ ≥ ⊂~0` A∀.αλ∧ β
`RpαJ`Rhαf``λβ``0βB ppβE↓αλ¬⊂λqλ @;!( 4!DAα(¬`βPλ@0≠A%`(∃A¬` MA@⊂0↓A@`0¬↓A`8
Ad⊂P ⊃"∀λxbTgCλλλ∧P 08 ⊃c0β @BXαK IXβ `_β↓@`HβC@q ∧πa$"∧(⊂λv¬( `εP⊂H ⊗@t"↓F`(↔↓%0 ⊗A300A@00β↓A⊂8εAb@@∂BH∧⊂λP ∨(
⊂→0` ∨a∀-Ah∧_β
@RpαJ@Rhα'Pλβ``0βα `pβDa↓x¬⊂λ⊃ @?Q 2!D?B(¬PβPλ00≠↓%` ∃A¬P(MA ⊂0↓A@P8∧AAP8
αβ`P∨Dλ⊂⊂β¬λ 8ε⊂∂`H ⊗ t!AF`(⊗A% (⊗A∪0`↓A@P8∧↓aP8 Bβ`H∨Ch⊂⊂πDh 0¬P∂`@ ⊗ t!AFP(↔↓% ⊗A30`↓A@P0∧AaP0 Bβ`H≡Ch⊂⊂ Dh ε⊂∂@H ⊗ t!↓FP(↔↓¬ (⊗A∪0`↓A@P0∧AAP8 AcPP≡βh⊂⊂∂∧h ⊂ε⊂∂@H ⊗t!↓FP(⊗A% (⊗↓∪0`↓A@P0∧AAP8 αβ@P≥βh⊂⊂∪DH λε⊂∂0@ ⊗t!↓FP(⊗A% ⊗↓30`↓A@P0∧↓a@8 αβ@P≤Ch⊂⊂↔∧H xε⊂∂ H ∃`t!↓F@0⊗A¬ (⊗↓∪0`↓A@P0∧↓a@8 ↓c@P≤βH⊂⊂≠∧H p¬P∂ H ∃`t AF@(⊗A% ⊗↓30`↓A@@8∧↓AP0 αβ0H≠Ch⊂⊂≡DH `ε⊂∂⊂@ ∃`t AF@(⊗A¬ (⊗↓∪0`↓↓`@8∧↓A@8 ↓c0H≠βH⊂⊂"DH X¬P∂H ∃@t AF@(⊗↓% ⊗↓∪0`↓↓`@0∧↓a@8λAc0H~CH⊂⊂&∧H H¬P∂H ∃ t AF@(⊗↓%⊂(∃A30`↓↓@P0∧↓a08λBβ H~βH⊂⊂)DH 8ε⊂∞p@ ∃@d A&@(⊗A¬ ⊗↓∪0`↓↓@P0∧↓A@8λAc H→C(⊂⊂-DH 0¬P∞`H ∃ t ↓&@(⊗↓%⊂(∃A30`↓↓@P0∧↓A@0λBβ⊂H→β(⊂⊂1∧( (¬P∞`@ ∃ t ↓&@(⊗↓%⊂ ⊗↓∪0`↓↓@P0βAa08λAc⊂H_C( 0 ⊃(⊂λ7∧( _¬P∞`@ ∃t ↓&@(⊗↓¬⊂(∃A∪0`↓↓@P0βAa08λ↓c⊂H_β(
λ ≥H⊂λ,D( ⊂¬P∞@H ∀`sxβ `R`αJ BXαfa@⊂β↓p8βα`q∧ε↓∩xεP∩DL⊂ ∀Xλ⊂⊗⊂X ≥↓∧*↓Gp0→A%@ ∀A%0 MC 0α↓`p0¬Ab8 α%`h "H _ @(↓λ +a49B(¬_βO@c_αJ`RHα
`Y`¬@@` β↓`pXβ∧↓↓8∧K!TA⊂λ∀!⊂ ∧λMb∀VBhπ_∧⊂
08∨↓F0 ⊗↓%(∃A∪0X↓↓@@0βAa 8λ↓bpH⊗β(πX→P∞3P @&↓ +!49αλ¬⊂βO@c⊂αKBHα
`IX¬@@` β↓``XβC`q8∧K↓D:Kλ (→⊂ ∩HλP∃0X ≤!∧)↓g`0→↓%0(∀↓¬0(MB` 0α↓@p0¬AB8 α%0` ≤∧tX H⊂λ⊃Dλ
P¬P∞⊂@ ∀@cpβ @RXα
RXα&a0⊂β↓`8βα@pxβEA∩Pε⊂
2 2¬$λGAtTBhπ∧P
⊂0∨↓& (∃A% ∃A∪0X↓↓@@0β↓a 8παα`@∀Cλε0⊃⊂≠R@ @#↓ *↓$8αλ¬λβ∂@S⊂αJ`R8αJ@YX¬@@` β↓@pPββ`q0∧
!D0Hλ∂∪⊂ ⊃ πP∀pP ≠a∀(↓gP(→↓%0 ∀↓¬0 MC⊂0α↓@`0¬↓a`@
B¬` ↔Cdλ@DDλCb∧RBhεp∧⊂
8≡A& ∃A$p(∃↓∪0`A@08β↓A 8π↓bP@∪Cλ¬X∞⊂ ⊃_⊃⊂ ⊂Xλ⊂∀@X ≠A∧'Ag@0_A%0 ∀↓¬ (MC⊂0↓A``0¬↓A`8
B$`X ⊗β$λI∧∧λB↓tQBhεh∧⊂ p8≡↓F⊂(∃↓$p(∃↓∪0`A@00β↓a⊂8π↓b@H∩Cλ¬ P ∪_∂P ⊂ πP∀ X ≠!∧'AG@0_A% ∀↓¬ MC⊂0↓A@`8∧AaP8
α$PX ∀#∀λP#dλ@!tPBHε`∧⊂ p0≡↓F(∃↓$p(∀A3@XA@00β↓A 0π↓b@@∩αh∧x ⊂ ∀p∂⊂∨Px (↓$6αλ∧pβ∂cαJ@B@α
@IX¬@ `_β↓@`Pββ q ∧ ↓4&¬h⊂λ-G(∂PπP∪pP ~a∧'↓G@(_A%⊂(∪A%⊂ MB`⊂0↓A@`0∧AaP8 B∧0X ∩BdλZβD{Ch p¬⊂
0@ ∪ sXαL BPαI`BHαfa0λβ``0βα p`βDaα_¬Pλq( @.QX =!dNBHεP∧⊂ P8≥A&(∃↓∧p ∃↓∪0XA@00αAa⊂0εAb H⊂Bh∧0
⊂ _λ
⊂≡ p '↓$5↓h∧hβN`SαJ R0αJ IX¬@ `_β↓ p@βC a_∧λ!4!Eλ⊂λFεH∞xπ⊂∪0P ~!∧&↓g 0_↓¬ ∪A¬⊂(MB`⊂0↓A@P0∧Aa@8 α∧⊂P ⊂B4λec$vβh H¬⊂
⊂8 ∪ cPβ `RHαI@RHα&a0λβ``(βα `hβD!α¬Ob4λhC∀uβh @¬⊂
@ ∪cPαLRHα `BHα&a0λβ``(βα ``βD!α¬∂B4λkβ∀sCh 8¬⊂ p@ ∪cPαLBHαI@R@αfa0λβ``(βαp`βD!↓x¬∂α$λmc∧rCh 0¬⊂ p@ ∩`cPαK`RHα `BHα'↓ λβ``(βαpXβD!↓p¬NB$λp"trβH (¬⊂ `@ ∩`cPαK`R@αI@BHα&a λβ@p βB``βD↓↓p¬∞"∀λrbtqβH ¬⊂ `@ ∩@cHβ `BHα @R@αfa λβ@p βA`pXβD qp¬
b∀λu"toCH _¬⊂ P@ ∩@cHβ @R@αI@BHα&b⊂⊂β↓ `@βB`q∧π!#(λP ≥p P≠Ph $a$2Ah∧PβNRxαJR(αJIXλ@@`(βα``β∧↓↓`¬
"∧λybtmC( ⊂¬⊂ @@ ∩ s@αK`BHα @B@αfb⊂⊂β↓ `@βα`qβG↓#_λ⊂ ∨ ⊂≠ h $!$2↓h∧HβNRpαJR(α
IXλ@@`(β↓`pXβCa↓X¬ Atλ}BTlβ( ¬⊂ 0@ ∩s@αK@R@α R@α&b⊂⊂β↓ `8βB@px∧εa#πP _
P~Pp #a$1αλ∧Hβ
`bpα
R(α
IXλ@@`(β↓``XβC`qX∧L↓tλ↓αbTiCHλp¬⊂ 8 ∩ c8β R@α R8αgα⊂β↓p8βα``x∧εA∩pπP !_
P~ p #!$0Bλ∧@β
`RpαI`R(α
IXλ@` βA``PβCA↓P∧K!tλ↓εbThβ(λh¬⊂ ⊂8 ∩c8αK@B@α B@α&b⊂β↓`8βB@ppβF!"`π⊂ "
⊂→ph #↓$0αλ∧8β
`RhαI`R αI`YXλ@` β↓`pHβCA↓@¬
adλ↓ αDfC(λX¬⊂ p@ ⊃`c8αK B@α B@α&a λα@@` β↓``PβC@q@¬
!dλ↓
αDfβ(λP¬⊂ p8 ⊃`c0β R8αIR8α&a λα@@` β↓``Pββ@q@¬
↓dλ↓∂α4eβ(λP∧P p@ ⊃@c0αK R8α B8α&b⊂λβ↓`8βα ph∧¬a∩@π⊂ $_
⊂→h "!∀/Ah∧0β
@Rhα `R α `YXλ@ ` β↓@pHβC q8∧Iadλ↓∩b4cC(λ@∧P `8 ⊃@c0αKR8α R8α'αλβ↓`0βB `h∧¬A∩0εP %_ P_`h !a∀.Bλ∧(β
@R`αI@R α `IXλ `_βA@`HβC q0∧I!Tλ↓⊗B4bβ(λ0¬⊂ P8 ⊃ c(αK B8α B8αfbλβ`p0βα p`βEA∩ εP &⊂ ⊂_0h !!$.↓h∧(β
R`αI@R_αI`IXλ `_β↓``Hββ q(∧I↓Dλ↓~"4`C(λ ¬⊂ 0@ ⊃c(αKB8α B8α&bλβ``0βBp`βE!∩_ε⊂ ' P_` !↓∀.↓h∧ β
RXαI@B αI@IXλ `_β↓@p@βBa↓ ∧HADλ↓≥b4←β(λ_∧P 08 ⊃c β
`R(αIB0αfbλβ``0βα ``βE↓∩λε⊂ 'p P↔P` a∀-αλ∧_β
R`α @B α `I`π@ `_β↓@`@βBa↓ ∧λ!Dλ↓!"$↑βλλ⊂∧P 8 ⊂`c αJ`R(αH`R0α&apλβ``0βαpXβE↓αε⊂ (`λP↔0h ↓$,Ah∧_β
RXα @B α @IXπ@ `_β↓ p@βα`q ∧πaDλ↓$b∀]βλλ∧P ⊂@ ⊂@c αJ@R(αH`B0α&apλβ``(βA`pXβDa↓x¬P↔d"P →8λP↔h ∨a∀,Ah∧⊂β `RXα @B_αI YXπ@ `_β↓ `@βB@q_∧G!DT⊂∞tλ`"∀[Cλπx∧P 8 ⊂@c_αJ@R(αH`B0α&apλβ``(βα`XβDA⊃h¬P∪4LP ↔⊂ ⊂⊗`` ∨A∀+Ah∧⊂β `RPαI B_α @IXπ@ `_β↓ `@βα@q⊂∧G↓4HP⊗TλYb$Zβλπh∧P 8 ⊂ c_α
`B(αH@R(α'αP_β↓ `8βB@q⊂∧π↓4D⊂λ∀!⊂ $λWB∀Zβλπ`∧P
p8 ⊂ c⊂αJ@R(αλ`B(αfbP_β↓ `8βB q⊂∧εa4@Lhπ ≡⊂ ∃0λP⊗ ` ∨↓∀+↓h∧λβ @RPα B_α @IX
@@p βA``PβD!↓X¬P∂"` %FDλTα∀XCλπX∧P
P@ ⊂c⊂αJ R αH@R(α&bP⊂βAp0βB qλ∧εA4:Ih ⊂↔P ∀Pλ⊂⊗` ≡A∀+↓h∧β RPα B_α IX
@@`(β↓`pHβD↓⊃H¬P
r 2EDλPb∀WCλπH∧P
P8 ⊂cλαJ R αH@B(αfbP⊂β↓ `8βα@aλ∧ε↓45H(∞∀P ∪pλ⊂∃`` ≡!∀*↓h∧β RHαIB⊂αI I`
@`(β↓``HβD↓↓@¬P ax <dtλNB∧VCλπ@∧P
@8∨A& (∀A∧@(⊃↓∧P ME 0αA@`8∧Aap@ αHε_∞P ⊂(∩P ∪(λP∃0` ≥a∀*↓gp(_A%⊂(∩↓∧ ∩A∪1 ↓↓@P0β↓a8πBβP ↔c4λEd4λL"∧UBhπ8∧P
08∨A&⊂(∀A∧@(⊂A$@ ME 0α↓``0∧Aap@ αH¬`
⊂ ∩8⊃⊂ ∩`λP∃⊂` ≥A∀)↓gp(_A%(∩↓∧ ∩↓31 ↓↓@@8β↓A8πBα`P ⊗#∧λMD∀λJ"∧TBhπ0∧⊂
08≡AF⊂ ∀A∧@ ⊃↓∧P ME 0α↓@`8∧↓a`@ αH¬( ⊂ ∀ ⊂⊂ ∩0λ⊂∀p` ≥↓∀)↓gP0_↓%(⊃A$⊂ ∩A∪A_↓↓@@0β↓a0πAb`P ∀BtλTCtλHB∧Sβλπ ∧P
⊂8≡AF(∀↓∧@ ⊂A$@ MD` 0α↓@`0∧↓a`@
αH¬ ⊂ ⊗∂⊂ ⊃xπP∀`X ≥↓∧(AgP0_↓$p(⊃A$⊂ ∩↓∪1 A@@0β↓A8εBα@P ∪BTλ[βdλFb∧Rβλπ⊂∧P
⊂0≡AEp(∀↓$0 ⊂A∧@(ME⊂0α↓@`0βAa`8
αH∧X
⊂ ↔H∞P ⊃HπP∀@X ≤A∀(↓g@0↔A% ⊃A∧⊂(∩↓∪1 A@@0αA`p8εBα0P ∩"4λa#DλEB∧Qαhπ⊂∧⊂
8≡↓Ep(∪A$ (⊂A∧@ ME⊂0α↓@P8βAAP@ B(∧8 P →λ∞⊂ ⊃⊂λ⊂∀⊂` ≤↓∀'Ag@0↔A¬ ⊃A∧⊂ ∩↓∪A_A@08αA@p8εAb0H ⊃"4λgβ4λD↓tPBhπ∧P `8≡↓%p(∪A$ (⊂↓$0 MD`⊂0↓A`P0βAa@@ α(∧_ ⊂ ~8
P ⊂hπP∀X ≤↓∧'Ag0(↔A$p ⊃A∧⊂ ⊃A∪1_A@00αA`p0εαα H ⊂"$λl#4λBatOβλεp∧P `8≥A%p ∪A$ ⊂A∧0(MD`⊂0↓A@P8β↓a@8 α'qλ @7QH @!⊂x 'A47αλ∧pβN`RpαI`B⊂αHB α&b0λβ``(β↓`pX∧∧!∪hλP ≤8 P ⊂0πP∪PX ≠A∧&Ag 0↔↓$`(⊃↓∧(⊃A∪1_A@00αA@`8ε↓b⊂H≥D(⊂λhF(⊂λ↓Ch `¬P
PH ∪ cPβ @B8αλ@Rαλ`I` `_β↓ `0βB`qλ∧NB∧λvc∧λ@AtMBhε`∧⊂ P0≥↓EP(∪↓$ ⊂↓∧0 MD@⊂0↓A@P0β↓A@8λα'↓ @<A@ @ x &A45B(∧`βN bhαI@B⊂αλB_α&b λβ`` βA@`XβD↓∪8πP ≡p ⊂∨Px &!45Bλ∧`βN bhα @RλαG`R⊂αfb λβ`` βA pP∧βa∪(πP ∨@ P∨0x &↓45Bλ∧XβN RhαI@B⊂αλB_α&b λβ`` β↓@pPβCa∪ πP P∨ p &↓44B(∧PβN RhαI RλαλB_α'α⊂λβ`` β↓@`P∧βA∪⊂πP H P∨p %a44Bλ∧Xβ∞ Rhα @BλαG`R⊂α&b⊂λβ`` β↓ pPβCA∪λπP !⊂ ⊂≡`x %!44α(∧Pβ∞ R`αI RλαλB⊂α&c_β↓`(βB pp∧L↓dλ↓εbdzβh ¬P
@ ∩@s8β R(αλ Qxαλ@IX @p_βA `PβCAαxπ⊂ "_ ⊂≡ x %↓$4αλ∧HβM`b`α Rλαπ`B⊂α&c⊂β@`p βB pp∧ ATλ↓ αdxβh _¬⊂ pH ∩s8β
`R(αλ AxαH Y` @@` β↓ pHβC!αhεP # ⊂≥pp $A43αλ∧@βM`bXαIRαG`B⊂α&bp⊂β↓`(βα ph∧ ↓Tλ↓∂αdvCH λ¬P PH ∩c8αKB(αλ Axαλ@IX @@` β↓ `HβC↓∩PεP $ ⊂≥0p $↓42Bλ∧@β
`RXαIRαπ`B⊂α&bp⊂β↓` βBp`∧J!Tλ↓∪αdtCHλx¬P P@ ⊃`c8αJ`R αλQpαλ@IX @@` β↓p@βC↓α@εP %
P≥p #a$2αλ∧8βM@RXα Rαπ@Rλα&bp⊂β`p βαp`∧
↓Dλ↓↔αTsβHλp¬⊂ @@ ⊃@s(β
@R αλAxαλ I` @`_β@`p@βBaα8ε⊂ &
P≤@p #!$1Bλ∧0βM bPα QxαG@Bλα&b`⊂β`` βB`X∧ ADλ↓≠αDqCHλ`¬P @ ⊃ s(αJ@R αλApαλ YX @`_β↓`@βBaα ε⊂ '_
P≤⊂p "a40Bλ∧0β
RPαH`Qxαπ@Rλα&b`⊂β`` βαpP∧ ↓Dλ↓≡BDpβHλP¬P ⊂@ ⊃ c(αJ@B απ`Qpαλ I`
@@`_β↓`8βBAα_ε⊂ (⊂
⊂≠`p "!40αλ∧(β
RHαH`Bαπ@Bλα&b`λβ``_βA`pPβHa4λ↓""DnC(λP¬⊂ @ ⊃c β
R⊂αG`Apαλ IX `_β`p0βBAαλ¬P )λ P≠@h "!$/Bλ∧ β
bHαλ`AxαG Rα&b`λβ``_β↓`pH∧λ!4λ↓%bDmβ(λ@¬⊂ p@ ⊂`s_αJ R⊂αG`ApαλIX `⊂β@``8βα@r¬P )x P≠⊂h !a$/αλ∧_βL`RHαλ`Axαπ@Bα'αPλβ@p⊂βA@pH∧πa4λ↓)"4kCHλ0¬⊂ `@ ⊂@s_αJR⊂αG@QhαλIX
@ `⊂β`p0βB↓↓p¬P *`
⊂~Pp !!$.Bλ∧⊂βL`R@αH@Axαπ Bα&bPλβ@`_β↓@pHβGA4λ↓,b4jβHλ ¬⊂ P@ ⊂@c⊂β
B⊂αG@AhαG`YX
@ `⊂β``0βB↓↓h¬⊂ +P P~0h !↓$.αλ∧⊂β @R@αH@ApαG Bα&bPλβ@`_β↓@`HβG↓4λ↓0α4iβ(λ_¬⊂ @@ ⊂ c⊂αJB⊂αG@AhαλI`
`⊂β@p(βBq`¬⊂ ,@ ⊂~⊂h A$-Bλ∧λβ @R8αH@Apαπ Bα&b@λβ@`⊂βA p8∧εa$λ↓3B$hβ(λλ¬⊂ 0@ ⊂c⊂αI`Rλαπ@Q`αλIX
`⊂β@`0βαqX¬⊂ - P→Pp ↓$-αλ∧β b8αλ QpαπQxα&b@λβ@`⊂β↓ p8∧ε!$λ↓6b4fβ(λ¬⊂ 8 ⊂cλαI`Rλαπ@Ahαπ`I` @ `⊂β@`(βA`qH¬⊂ .λ P→0h ∨a$,Bπp0_A$p ⊂A#P(∞↓βp MD`⊂0↓↓@ 0αA@p8 BH⊂⊂sDh PεP∂`P ⊗ sxβ R0αH ApαπAxα&c ⊂β p βA`q@¬⊂ .p ⊂→⊂h ∨!$,απ`8_↓$`(⊂↓#P ∞↓βp MF@⊂8A`@8β↓cH @↑Q⊂ 1aT>BH¬8∧∂@rxαI`Bλαπ QXαπ`IX
pλβ↓ `8βEa∀λ↓>b$cβ(π`¬⊂
p@≡Aep(∪↓$ ∂↓β0(∂↓∪AHA@ 0α↓``8 B(⊂_DH (εP∂0P ∃AβhβK`R0αλQhαπApα&c⊂λβ@` βA@q0∧P 08λP_Ph ≡A$+↓g`0↔A$P(⊂↓βP ∞↓β` MF ⊂0↓↓@@0β↓b`H @aQλ 0aT=αH¬(∧∂ bpβ BαGQXαπ@YX @ `λβA`0βE!∀λ↓Db∀aβ(πH¬⊂
P8≡AE`(∩A$ ∞Aβ0 ∂A∪A@A@⊂8↓A`P8
B(⊂_ D( λεP∂P ∃↓β`β @R(αG`Ahαε`Axα&cλβ ` βA q ∧P 1p ⊂_` ≡↓$)Bπ@0↔↓$P ∂A#@(
↓#` MF⊂0A@@0αAb@H @dA⊂ /AT;BH¬_βObpαIQxαπ AXαπ@IX `λβ↓`(βDa∀λ↓JB$↑C(π0¬⊂
@≥AEP(∩Aβp(∞↓β0 ∂↓∪A8A@⊂0↓A`P0 B(⊂__∧( hε⊂∞`P ∀@sXβ R αG`A`αε`Apα&bpλβ `_βAq⊂∧P 30λP↔0h ≥!$(Bπ 0⊗A$@ ∂Aβ@(
↓β` MG@⊂0↓A@P8λB(⊂_≡∧( PεP∞@P ∀↓βPβ R_αG@Q`αε@Apα&dP_β↓qλ∧P 4⊂λP↔⊂` ≥↓$(↓g 0⊗↓$@(∂↓β@
↓#P MI 8α↓bH @hqλ .↓T9B(¬∧∞ b`αIApαF`AXαπ I`⊃@`p_βD!∧λ↓S"∀[Cλπ_∧P
8≤AE@(⊃A#`
A# ∞A∪2_↓A@@8λαλ⊂_)D( 0ε⊂∞ H ∪`sHβ R_απ@A`αε@Ahα&d0_β↓a∧⊂ 5Hλ⊂⊗Ph ≤!∀'απ0∃A$0(∞A#0
↓βP MH` 8↓Aap@ @kaλ -↓D8αH∧pβNbXαH`Apαε`APαπ I`⊃@p_βCA∀λ↓Xb∀Yβ(εx¬⊂ P@≠AE0(⊃↓#P(
↓#⊂ ∞A∪2⊂↓↓@@0πBλ⊂_4Dλ ⊂ε⊂
pP ∪↓β8β
`R⊂απ@AXαε Q`α&d ⊂β`pp∧⊂ 6pλP⊗⊂` ≠A$&↓fp0∃↓$ (∞Aβ0
↓β@ MH@ 0↓AaP@ @nAλ +aD7α(∧`∧
@bPαH@AhαF@APαπI`⊂@@`_ββ@tλ↓↑B∧WCλεh∧P @8≠↓E (⊂A#P
↓#⊂ ∞↓∪2λA` 8εBλ⊂_?∧(
hε⊂
PH ∩`s0β
@B⊂απ AXαε A`α&d⊂λβ@@p`∧⊂ 8 λ⊂∃P` ≠↓∀%αεP0∀A$⊂(∞↓# Aβ@ MH ⊂0↓AAP8 @q! *aD5BH∧PβM bHαH Ahαε@AHαπI`⊂ `⊂βC↓∧λ↓cB∧UCλεP¬⊂ ⊂8~AE⊂(⊂↓#@( A# ∞↓∪1x↓↓@ 8¬Bλ⊂_J∧λ
Hε⊂
H ∩!β β
Rλαπ APαεA`α&cp⊂β@``βP 9Hλ⊂∃⊂` ~!∀$Af@0∀↓$(∞↓β ↓#0 Nπ@⊂8↓↓A0@ @sa )aD4B(∧@βMb@αHQXαF AHαε`IX∂ pλβB`tλ↓hb∧SCλε@∧Pλp8~↓E ⊂Aβ@ A#
A∪1pA@ 8¬↓h⊂_TDλ
(ε⊂ pP ⊃`s_β `RαF`APαεAXα&c`λβ@`P∧⊂ :hλ⊂∀P` →A∀#Af00∪A$
A#⊂ ↓β0 Nπ ⊂0Aa 8 @v1 (aD3α(∧0βL`b8αG`QXαε A@αε`IX∞@ `λβB!∧λ↓mb∧QCλε(∧PλP@→↓D`(⊂↓β0 Aβ
A∪1hA@⊂0¬↓h⊂_↑Dλ
λε⊂ PH ⊃ s⊂αI`QxαF@Q@αE`AXα&d@λβα tλ↓pB∧PCλε_∧PλP8→↓$p(∂Aβ0 Aαp
A∪B_AA⊂8 @xq 'aD1B(∧ ∧ R8απ`QPαε A8αε`IX⊃ p@βP <`λ⊂∪pX _a∀"↓f⊂(∪↓#p
↓# A# MH@⊂8∧↓h⊂_hCh pε⊂ H ⊂`sβ @QpαF@A@αεAPα&d λβαtλ↓uB∧NBhελ¬⊂λ 8_↓D` ∂Aβ ↓"p
↓∪BλAA8 @{0x '↓D0α(∧_βK`b(αG@QHαFA8αε@IX∀↓`tλ↓x↓tMCλε∧Pλ 8↔ADP(∂↓β ↓αp A32@βAh⊂_r∧λ P¬P H ⊂ rxβ Apαε@A@α¬`AHαg∧`8βP >PπP∪⊂` ↔a∧ Aep0∩↓#P( A"p Aβ⊂ MI@p8 @⎇`x &!4/α(∧λβK@b αG APα¬`Q0αε IX∪↓`dλ↓|b∧KCλ¬h∧Pλ8↔↓D@ ∞A#⊂ ↓α` A∪20β↓h⊂_|βh 0ε⊂ PH∨Ae`0⊃A#P A"p ↓β⊂ N `8 @␈@x %A4.α'p8↔↓D0(∞↓#⊂ Aα` A∪2(αAh⊂ Dλ ε⊂ 0H∨AeP(∩↓βP Aαp ↓β⊂ MI`8 A`x %↓4-B'`8⊗A$0(∞↓#( ↓"P A∪2 β↓H⊂ ¬Ch _¬P 0@∨↓eP(⊃A#@ Aαp
Aβ⊂ Nλ`P8 A↓q $!D,B'P8⊗A$0 ∞↓# AαP A∪2_αAh⊂
βh λ¬P ⊂H≡Ae00⊃↓#@ ↓"`
A# MH`P0 Aβ⊂x $↓4,B'@8∃AD (
A# ↓α` ↓∪B⊂α↓h⊂ ∞Chλxε⊂
pH≡↓e00⊃↓β@ ↓α` ↓β MH@@8 A∧ x #A4+B'08∃AD⊂(
A"p ↓"P A32λαAH⊂ ∪Chλh¬P
pH≥AE00⊂A#0 A"`
Aαp(MH @8 A¬0x #↓D+απ08∃↓D⊂
A"p ↓αP A∪Bα↓h⊂ ↔Chλ`¬P
PH≥↓e (⊂A#0 Aα`
Aαp MH@0 AεPp "a4*B'⊂8∃↓$⊂(
↓αp(
AαP A∪2↓Ah⊂ ≤ChλHε⊂
@@≤Ae (⊂Aβ ( AαP
Aαp Nπ`08 AπPx "!4)B'⊂8∀A$(
↓αp
A"@ A∪1x↓AH⊂ !βhλ@¬P
0H≤↓e0⊂↓β ( ↓α`
↓αp MG`00 Aλ`x !a4)Bπ8∀↓Cp(
↓α`(
Aα@ A∪Ap↓↓h⊂ %CHλ8¬P
⊂H≠Ae0∂A#⊂( ↓αP
↓αp MG@ 8 A px !!4(B&p0∀↓Cp
↓α`
Aα@ ↓31p↓↓H⊂ *βhλ ¬P
⊂@≠Adp(∂A#⊂ ↓"@
↓α`(MG 00 A x a4(α&`8∪A#p( ↓"`
↓α@ ↓∪A`↓↓h⊂ .βhλ_¬P p@≠↓dp(∂Aβ⊂ ↓α@( Aα` MG 8 A ⊂p A4'BεP8∪A#`( ↓"P
Aα0 ↓∪1`↓↓H⊂ 3βHλλ¬P `H~AD`0∂↓β⊂
A"@ Aα` Nε` 0 A
p ↓4'αεP0∪↓CP( ↓"P
↓α0 ↓∪1X↓↓H⊂λ P ∀λ↓3↓t?Bh∧`∧Mr(βπ Q@α¬ A α∧`A0α&c0λβP ∩⊂ )H⊂⊂Uβhπp¬P @H→AdP(∂↓β
A"0 AαP(Nε@⊂8 @!Tk⊂ )_πP∂PX ∪↓β_βI QhαE`Q(α∧`A_α¬ YX
d␈⊂∨Tλ↓ ↓t>αh∧X∧L@r(αG Q8α¬ A_α∧`A(α&c λβ⊂≡∧+P d5⊂ 'λπ⊂∂@P ∩aβ_β Qhα¬`Q α∧`Q⊂α¬ IX
dr⊂λDQP
dλ↓_ad=Bh∧P∧ @b βπQ8α¬Q_α∧@A(α'β⊂λβ⊂≠#H 4h∧` @J`p ≡A4$B&⊂8⊃AC@ A"@ Aα
A∪1HAH
→P∨$"P $Pπ⊂∂⊂X ∩!βλβH`Q`αE`A α∧`A⊂α¬YX⊂⊂_rp @#D ⊂ #xπ⊂∂X ∩↓∪βH`Q`αE@A α∧`A⊂α¬Y`∂P↔rP @'#h @F@p ≡↓$$αε8⊃A#@ ↓"0( ↓α
↓∪1p .$tλU'$λ↓
Ad;Bh∧8∧ b_αF`Q0α¬A⊂α∧@A α&cdY λ⊂λ7Nλ⊂⊂⊂βhπ(¬Pλ`@_↓D 0
Aα`( Aα ↓α@ Nπ(
`⊂P _8≠⊂ !8πP∞@X ⊃Aαxβλ@aPαE@A_α∧@A⊂α¬IX∞P∀ax @3c_ @Apx ≤a4"B%`8⊂A#0 ↓α0(λA"⊂ A31h (βdλlf$λ↓↓At9BH∧(∧ @rλαF@Q(αD`A⊂α∧ A_αgβDMπ(⊂λd λ⊂λ␈CHπ⊂¬⊂λ@H⊗Ad⊂(
↓"P Aα λAα0 MGλ (∞⊂ ≥X↔⊂ ∨@π⊂∞⊂X ⊂aαhβH QPα¬ Q⊂α∧@Aλα∧`IX∞⊂∩↓X @=Rp @>p ≤↓4!B¬P0⊂↓C⊂(
Aα ↓α⊂ A∪AX "c$λ↓¬Dλz!d7Bh∧⊂∧ bβε A(α∧@Qλα∧ A_α&c$Dελ⊂⊂
h⊂λqβHεp¬Pλ @⊗↓D( A"@( ↓α⊂ λAα (MFHλ P "⊂∃P ≥Xπ⊂
`P ⊂!α`βλQHαEA⊂α∧ Aλα∧@YX
⊂⊂↓0 @F2P @:@p ≠!$ B¬08∂A#⊂
↓"⊂ λAα( ↓∪AH ∨αTλ↓⊂e∀λsAd6αH∧∧
`qxαFQ α∧ Qα∧Q⊂α&c∀<¬(⊂⊂)
(⊂λcCHεX¬OaαPβG@a@α¬A⊂α∧Aα∧`IX P∞A( @L∩@ @8⊂p ~A3p∧J qpαFQ_αD AαC`A⊂αgβ∧8Eλ⊂⊂8 h⊂λ]CHεH¬OAαPβπ@Q@α¬Aλα∧ @xα∧@YX ⊂
Q @Ob8 @6Pp ~↓3h∧J apαE`Q_α∧ Aλαβ`A⊂α&c∧5∧h⊂⊂FIH⊂λWCHε@¬∂!αHβπ@Q8αD@QαD@xα∧@I` P q⊂ @S20 @5⊂p →a#h∧
ahβ¬`A_α∧ Aαβ`A⊂α&bt2∧H⊂⊂T (⊂λRβHε0¬∂↓α@βπ Q8αD@Qα∧@xα∧ YX P ⊃λ @Vb( @3`p →!#`∧ `ahαE`A_α∧Aαβ`Aλαgαd/∧(⊂⊂aIλ⊂λLCHε ¬∞aα8βπ Q0αD@AαC`@xα∧ IX ⊂ 1λ @Zα_ @2@p _a#X∧ @q`αE@A⊂αD@xαβ`Aλα&bd,Dλ⊂⊂n λ⊂λGβHε⊂¬N!α0βF`Q0αD@Aαβ`@xα∧ I`
P
a @]∩_ @1⊂p _!3H∧ qXαE@A⊂α∧@xαβ`AαfbT)Dλ⊂⊂zHh⊂λBβHε¬N↓α(βF`Q(αD Pxαβ`@xα∧YX
P
⊂x @`∩_ @/pp ↔a3@∧ aXαE Qλαβ`Ppαβ@Qα'αD'Ch⊂_εHH⊂λ=β(ε¬
aα(βε@a(α∧ Aαβ@@pαDIX
⊂ @x @c∩⊂ @.Ph ↔a#8∧ aPαE QαC`@pαβ@AαfbD%βH⊂_∩H(⊂λ8C(¬p¬
Aα βε@Q(α∧ @xαβ@@pα∧Y` P p @fαλ @-@h ↔!#0∧λ`aPαEQαC@@pαC Aα&b4#βH⊂_≥H(⊂λ3βH¬`¬
!α_βε@Q α∧ @pαC@@hα∧IX Pλ@h @hr @, p ⊗a#(βH`aHαEQαβ`@pαβ @xαgα$!β(⊂_(H(⊂λ.CH¬P¬
↓α⊂βε Q α∧Ppαβ@@hαβ`YX ⊂λh @kB @+⊂p ⊗!# βH@aHαD`Qαβ@@pαβ @xα&b#pεP 68⊂⊂ ∃ π⊂ P→B∧⊂0 A"0 λ↓↓` π↓↓P πA∪A⊂≡βλ⊂_8Hλ⊂λ(βH¬8¬ AαλβεQ_αC`Phαβ@@`αC@YX ∞ADλ↓←∧∧λRad+αF @⊂↓bp( Aα εA!P ε↓!`(N∧'` @pb @(pp ∃!#λ∧λq8αD@Pxαβ@@hαβ@xα&b∪8¬P 9λ∂P ∀_π⊂
@P_Bβp8 A" πA!P εA↓@ πA∪1λ~Cλ⊂_Mπh⊂λ∨C(¬ ¬ ↓↓xβE@Q⊂αC`@hαβ @`αβ@Y`λ
↓4λ↓i#dλNaT)BF@∂AB`( ↓↓p εA↓P ε↓↓`(MDε X @uqx @&`h ∀A"x∧π`a0αD PpαC@hαβ@pα&bβλ¬P ;@∂P ∪⊂εP
⊂P↔Acp0 ↓"⊂(π↓↓@(ε↓↓@ εA3@x↔Bh⊂_aπh⊂λ⊗CH¬¬ A↓pβ¬ Q⊂αβ@@hαβ@XαC YXπKA4λ↓rctλJ!d'BE`8∂↓BP(λA!P(ε↓↓@ ¬A!P MCePP @zap @$Pp ∪A"h∧π a(αD @pαβ@`αα`@pα'↓rP¬P =x∞P ∩⊂π⊂ PP⊗αβP0
A"(εA↓@ ε↓↓0 εA30x∀BH⊂_tG(⊂λ∂βH∧`¬ ↓↓`β¬Qλαβ PXαβ@Xαβ YXπJ↓$λ↓|CTλFAT&αE0@∞↓B@(λ↓!P ¬A!0 ¬A↓P NβDpP @␈1h @"`h ∩a"XβGa αD@hαβ@Xαα`@`αfab0∧P @ ∂⊂ ⊃⊂εP P∃αβ00
↓!p(ε↓↓@ ¬A↓ (ε↓30p∩B(⊂ εG(⊂λπC(∧H¬
@qXβ∧`QαβPXαα`@PαCI`εHa$λα¬CTλBAd$αE⊂@
↓B0(πA!@ ¬A↓0 ¬↓↓P MCD⊂P Aβqh @ `p ⊃a"@∧ε@a_αC`@`αα`@Xαα@@`αg↓R¬⊂ B@∞P ⊂⊂π⊂λ`P∀↓c 0 A↓p(¬A! ¬A↓ ε↓30h⊂α(⊂ _π(∂xεPλ`P∪Bβ⊂0 ↓!p ε↓↓ (¬↓↓ ε↓∪0h∂Bλ⊂ ≥π(∂XεPλPP∪Ac⊂0 ↓!`(¬A↓0 ¬↓↓ ¬A3@`∂αλ⊂ !Gλ∂@εPλ@P∪αβ0 ↓!` ¬A! ¬↓↓⊂(¬A30`∞Bλ⊂ &πλ∂ εPλ0P∩Bβ0λA!`(¬A↓ ¬↓↓⊂(¬A∪0`∞α(⊂ )Gλ∂π⊂λ P∩Ac0λA!` ¬A↓ ¬↓↓⊂ ¬A3@`
α(⊂ .πλ∞`π⊂λ⊂P∩ααp0λA!P ¬A!⊂ ¬↓↓⊂ ¬A30` B(⊂ 2πλ∞Hπ⊂λP∩↓bp0λA↓P(¬A↓⊂ ¬↓↓⊂ ¬A∪0` Bλ⊂ 6Gλ∞(εPλP⊃Abp0λ↓!P ¬A↓⊂(∧A↓⊂ ¬↓3@X αλ⊂ :Gλ∞⊂εOa"⊂∧¬@aαCPPαα@@HααPPαfa18∧⊂ Gp∞⊂≠`h∨αD 8 ↓B(ε↓↓ (∧A↓⊂ ∧↓! NαbP@ A⊂a` 6aSh¬λ!↓(ββ`P`αB@@Hαα @@αα@YX¬E!∧λα#C4kCG@P⊂ααP0πA!@ ¬↓↓⊂ ∧A↓ ¬↓30X
αλ⊂ Kπλ
_π∞a"βE `xαB`PHαB@Hαα@Pα'↓! βP Ix
P~h≥B$@
↓Ap ε↓↓ ∧↓↓⊂ ∧↓↓⊂(MBB08 A∀qX 3!SP∧Hq ββ@PXαB @@αα @8αB YX¬D!∧λα+CDdC'⊂H∂Ab@0π↓!0 ∧A↓(∧↓p(∧↓3@PλAh⊂ [Fh 0εN↓⊃p∧∧``pαα`P@αB@@α↓`@Hαfa!∧⊂ Kp
P_ p≠αC`8 AAP(¬A↓⊂ ∧↓↓ βA↓⊂ Nα"8 A_aX /aS0¬π q_ββ PPαB@@α↓`P8ααYX¬β@tλα3c$↑β&PP∞αα 0εA↓0 ∧↓ p βA `(∧↓30Pπ↓h⊂ kεh @εM↓!`βD@``αB@P@α↓`@8α↓`P@α'↓⊂hβP Mp
P⊗Ph→BC08 ↓A@(¬↓↓ βAp βA↓(MB!P8 A≤QX ,!c⊂¬εA↓λββPHαα@8α↓`@8ααYX∧C dλα;#4Wβ& H
Ab⊂0¬A!⊂(βA ` βAp ∧↓∪@H¬Ah⊂ zFH
XεL!⊃PβD P`αB @@α↓@P0α↓@P8αfa⊂XβP O`
⊂∃h_α#⊂@λ↓!@(∧↓ p βA` β↓ p(Nα↓ 8 A AP )!Rx∧F qαC@Hα↓`@8α↓@@0α↓`YX∧α@tλαBc$PCEPP ↓b(¬A!(β↓ ` β↓` βA30H∧AH⊂( FH pεK!!8∧β@`XαB@8α↓@@0α↓ P8α'↓Hβ⊂ QP
⊂∪0h⊗αBp8π↓A0 ∧↓ ` β↓` αA `(MB↓8 A$⊃X %aRX¬¬@ppβα@P@α↓@P(α↓@@(α↓`YX∧A`tλαJβ4Jβ% P
B↓P0¬↓ p(β↓P β↓P β↓3@@βAH⊂(_εh π
!⊃0βC `Pαα@0α↓ @0α↓ @0αfa8β⊂ S8
⊂⊃`h∀B"P8εAA⊂(βA` αA` α↓ ` N↓``8 A'qH "aR@∧E↓`βα P0αA P α↓ P αA YX∧↓ tλαQC∀Dβ$pH
↓a@0∧Ap β↓@(α↓ @ β↓30@αAH⊂('ε(λ(εI!!_βC`@αA@P(α↓ @ α↓ @(αgp(β⊂ U
⊂⊂⊂p∩αB @¬AA(β↓P αA@ α↓ P(MB@0 A+1P ∨AR ¬∧@pXβα@0αAP α↓@ αAY`βAdλαXC$=C$0H ↓a00βA ` αA@ α↓@ αA308↓Ah⊂(4FHπ@εHA⊃λβB`P@α↓@@(α↓@ α↓@(α&`p_βP W
⊂∞Ph⊂B"⊂8¬↓ p(αA @ α↓@ ↓A @(N↓` 0 A/↓P ≤!Rλ∧DpPαA`P(α↓P_α↓@_αAYXβ@@dλα←c$7β#pPπAa (βAP(α↓0 α↓0 α↓3@0↓↓H⊂(CεHεXεGA p∧α`0αA @ α`@ α`@ αf`pλβ⊂ Xh P
⊂h∞B!p8∧↓@`(α↓ 0 ↓A0(↓↓ 0(MA`⊂0 A2AH →!a`∧C@p@β↓@@(α`@_α`P⊂α@`Y`β dλαfc∀1β#@HεAa0αA @ ↓A ↓A0 ↓A30h A4!H ↔aQX∧C p8β↓ P_α@`@⊂α@@@_α`YXεP Z@
⊂ @h BA@8βA@P α↓0 ↓A ↓↓ 0 Nβλ⊂(WFH¬HεF↓ XβA`` α@`P⊂α`@⊂α@P⊂αfaDλαmC∀+β#H¬B`(αA 0 ↓↓ ↓↓ ↓A3@X A7QH ∀aQ8∧B`p0αA @_α@@@⊂α@@λα@@YX¬P \ P
h α! 8β↓ @(↓A ↓↓ A (MBh⊂(eF(∧hεE!⊂HβA@P α`@⊂α@@λα@ @⊂αg↓$λαt#∀%β"@P∧A`@0↓A (A ⊂ A ⊂ ↓↓30P A;↓H ⊃aQ_∧B p β`P⊂α@@λα @λα@ Y`∧P ]x Pλ@h α!8α↓@0 ↓↓ ⊂ A⊂ A ⊂(MB(⊂(sε(∧λεD!⊂8βA`⊂α@@@λα @λα @λαg↓∀λαzc#hεD!⊂8β@``⊂α@ @λα @λ∧@ YX∧P ←⊂ NaPx¬↓@p_β@@λπ!iX∧P ←H N↓Pp∧A@p_α@@Pλα!λ∧ Y`∧⊂ ` M!Ph∧A p_α@@@λ
fa∧λβ↓cβ⊂εC!⊂(β@@Pλα@#)`βP `h KaP`∧Ap⊂α@#iX∧⊂ a_ K↓PP∧Apλβ#YX∧⊂ aP J!PH∧@`pλ⊃'tλβλβ∩0πα↓⊂_β$→XβP b8 HaP@∧@Di`β⊂ bp H↓P0¬$YXβP c πAP(∧@$9XβP cP FaP ∃gdλβ⊂#⊃8εA¬ Xβ⊂ d@ ¬!P_∪'dλβ∪#⊃⊂ε@$IXβ⊂ e Cey`αP eX β¬IXβ⊂ f B%→Xβ⊂ f8 ADY`αP fp ↓∧→Xβ⊂ g_≤'Tλβ≡F→XαP hλ∃f`dλβ!DY`αP hh∂fh⊂0Xgλ⊂0Xgλ⊂0X'(⊂0W⊃∨;B @∧λ⎇Ai`¬↔P¬↔←x␈␈␈`↓\←x␈␈D⊂[O0@0VαU0w⊃⎇@ ↓U@
U]`⊗n␈0↓@0VαU0w 00> w∧P≥xow{⎇x